diff --git a/makeCGAL b/makeCGAL index 4c3ff3e7..0fbd2c83 100755 --- a/makeCGAL +++ b/makeCGAL @@ -258,13 +258,13 @@ CMAKE_OPTIONS echo " ThirdParty : gmp/mpfr" configGmpMpfr=$(cat <