Laurent Rineau 0fa2448c74 Fix incorrect use of echo. Use printf instead. ... All lot of other uses of echo should be fixed. Actually, "echo" should never be used to display a string that includes some variables values!		2007-02-23 14:18:16 +00:00
..
collect_cgal_testresults	- Attempt to fix the make detection on Solaris.	2007-02-16 18:04:57 +00:00
makefile	Add + before command to parent make rules (make gmake aware that the	2007-01-12 12:52:12 +00:00
run_testsuite	Fix incorrect use of echo. Use printf instead.	2007-02-23 14:18:16 +00:00