Fernando Cacciola 6bae1045df Fixed handling of flags when defined interactively

2008-11-03 21:00:22 +00:00

..

cgal_create_cmake_script

Fixed handling of flags when defined interactively

2008-11-03 21:00:22 +00:00

cgal_create_makefile

fix bashisms (use printf instead of echo)

2008-06-18 16:07:17 +00:00