From 4adc90da7f6d6f069f79a27362473e3d7bfac7b3 Mon Sep 17 00:00:00 2001
From: jasonwucj <jasonwucj@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 20 May 2014 08:20:06 +0000
Subject: [PATCH 4/7] testsuite/lib/libffi.exp (load_gcc_lib): Register
 loaded libs.

---
 testsuite/lib/libffi.exp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/testsuite/lib/libffi.exp b/testsuite/lib/libffi.exp
index 5051d31..b1dd1fa 100644
--- a/testsuite/lib/libffi.exp
+++ b/testsuite/lib/libffi.exp
@@ -15,8 +15,10 @@
 # <http://www.gnu.org/licenses/>.
 
 proc load_gcc_lib { filename } {
-    global srcdir
+    global srcdir loaded_libs
+
     load_file $srcdir/lib/$filename
+    set loaded_libs($filename) ""
 }
 
 load_lib dg.exp
-- 
1.8.4.2