From 75042a2c647d81b2bc61792d0a48f747b1fa109a Mon Sep 17 00:00:00 2001
From: Cedric Cellier <rixed@happyleptic.org>
Date: Wed, 21 Feb 2018 10:27:38 +0100
Subject: Asmlink.reset should also clean lib_ccobjs/lib_ccopts

Re. ticket 7738 (https://caml.inria.fr/mantis/view.php?id=7738)
---
 Changes            | 3 +++
 asmcomp/asmlink.ml | 4 +++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/Changes b/Changes
index 3f84ea093c..b0bd928261 100644
--- a/Changes
+++ b/Changes
@@ -215,6 +215,9 @@ Working version
 - GPR#1619: expect_test: print all the exceptions, even the unexpected ones
   (Thomas Refis, review by Jérémie Dimino)
 
+- MPR#7738, GPR#1624: Asmlink.reset also resets lib_ccobjs/ccopts
+  (Cedric Cellier, review by Gabriel Scherer)
+
 ### Bug fixes
 
 - MPR#5250, GPR#1435: on Cygwin, when ocamlrun searches the path
diff --git a/asmcomp/asmlink.ml b/asmcomp/asmlink.ml
index f99ebd236f..ee35ac69eb 100644
--- a/asmcomp/asmlink.ml
+++ b/asmcomp/asmlink.ml
@@ -422,4 +422,6 @@ let reset () =
   implementations_defined := [];
   cmx_required := [];
   interfaces := [];
-  implementations := []
+  implementations := [];
+  lib_ccobjs := [];
+  lib_ccopts := []
-- 
cgit v1.2.1