Replace src_CGAL/ by Number_types/

2006-05-21 22:32:27 +00:00 · 2006-05-21 22:32:27 +00:00 · 87329289d7
parent 3ef714537a
commit 87329289d7
1 changed files with 1 additions and 1 deletions
--- a/Scripts/test/collect_cgal_testresults
+++ b/Scripts/test/collect_cgal_testresults
@ -11,7 +11,7 @@

 print_platforms()
 {
-  cd src_CGAL
+  cd Number_types  # Pick a stable directory at random
  for FILE in `ls CompilerOutput_*` ; do
    PLATFORM=`echo $FILE | sed 's/CompilerOutput_//'| sed 's/\.gz//'`
    printf "$PLATFORM "