Change help for script. Specify the path should lead to a release (not a git repo).

2018-05-25 16:15:35 +02:00
parent ab87194583
commit 5010283dfe
1 changed files with 1 additions and 1 deletions
@@ -1,6 +1,6 @@
 #!/bin/bash
 if [ "$1" == '--help' ]; then
-  echo "Usage: $0 <path to CGAL> <path to output> <number of cores to dedicate>"
+  echo "Usage: $0 <path to CGAL release> <path to output> <number of cores to dedicate>"
  echo "Builds and packages the Polyhedron demo form the CGAL dir."
  exit 0
 fi