mirror of https://github.com/CGAL/cgal
remove duplicate/buggy copy of the install.log files
This commit is contained in:
parent
76f15469ed
commit
83b3155d82
|
|
@ -242,7 +242,6 @@ export CGAL_MAKEFILE;
|
||||||
export CGAL_TESTER CGAL_TESTER_NAME CGAL_TESTER_ADDRESS;
|
export CGAL_TESTER CGAL_TESTER_NAME CGAL_TESTER_ADDRESS;
|
||||||
rm -rf ${LOCAL_TEST_DIR};
|
rm -rf ${LOCAL_TEST_DIR};
|
||||||
cp -r ${CGAL_TEST_DIR} ${LOCAL_TEST_DIR};
|
cp -r ${CGAL_TEST_DIR} ${LOCAL_TEST_DIR};
|
||||||
cp install.log* ${LOCAL_TEST_DIR}
|
|
||||||
cd ${LOCAL_TEST_DIR};
|
cd ${LOCAL_TEST_DIR};
|
||||||
nice ${NICE_OPTIONS} make ${MAKE_OPTS};
|
nice ${NICE_OPTIONS} make ${MAKE_OPTS};
|
||||||
echo 'COLLECTING RESULTS';
|
echo 'COLLECTING RESULTS';
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue