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';