Catch errors earlier

If `$1` and `$2` is either empty, or not a directory, then display the help. Maybe we should check that `$1` is indeed a CGAL directory.
2020-05-06 12:09:42 +02:00 · 2020-05-06 12:09:42 +02:00 · 841a2505fa
parent 57b37e3e1d
commit 841a2505fa
1 changed files with 1 additions and 1 deletions
--- a/Scripts/developer_scripts/Bundle_polyhedron_demo_with_appimage.sh
+++ b/Scripts/developer_scripts/Bundle_polyhedron_demo_with_appimage.sh
@ -1,5 +1,5 @@
 #!/bin/bash
-if [ "$1" == '--help' ]; then
+if [ "$1" == '--help' -o ! -d "$1" -o ! -d "$2" ]; then
  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