Compatibility: no -C option if INIT_FILE is unset or null

2018-10-19 15:44:35 +02:00
parent fc830f8a3f
commit e2e2bdfa49
9 changed files with 9 additions and 19 deletions
@@ -82,7 +82,6 @@ configure()

  if eval 'cmake -C"\$INIT_FILE" "\$CMAKE_GENERATOR" -DRUNNING_CGAL_AUTO_TEST=TRUE  \\
                                     -DCGAL_DIR="\$CGAL_DIR" \\
-                                     -DINIT_FILE="\$INIT_FILE" \\
                                     --no-warn-unused-cli \\
                                     .' ; then