From 83b3155d82eb9c7f1cffaf1487c44f70a81fcd89 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Wed, 7 Feb 2007 14:38:40 +0000
Subject: [PATCH] remove duplicate/buggy copy of the install.log files

---
 Scripts/developer_scripts/autotest_cgal | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Scripts/developer_scripts/autotest_cgal b/Scripts/developer_scripts/autotest_cgal
index d720f135c37..e3b6fc0d9f5 100755
--- a/Scripts/developer_scripts/autotest_cgal
+++ b/Scripts/developer_scripts/autotest_cgal
@@ -242,7 +242,6 @@ export CGAL_MAKEFILE;
 export CGAL_TESTER CGAL_TESTER_NAME CGAL_TESTER_ADDRESS;
 rm -rf ${LOCAL_TEST_DIR};
 cp -r ${CGAL_TEST_DIR} ${LOCAL_TEST_DIR};
-cp install.log* ${LOCAL_TEST_DIR}
 cd ${LOCAL_TEST_DIR};
 nice ${NICE_OPTIONS} make ${MAKE_OPTS};
 echo 'COLLECTING RESULTS';