Changeset 8b85dae for jhalfs

Timestamp:

07/10/2020 01:26:23 PM (4 years ago)

Author:

Pierre Labastie <pierre@…>

Branches:

ablfs-more, legacy, trunk

Children:

6f74ca1

Parents:

e3ccc27

Message:

Prevent users to tick "Rebuild Makefile" if Makefile does not exist

For some reason, beginners tend to tick this at the first pass. Since
it is hard to prevent that in Config.in, use a sanity check in jhalfs.

File:

• jhalfs (modified) (1 diff)

jhalfs

@@ -476 +476 @@
 fi
 
+# shellcheck disable=SC2034
+if [[ "$REBUILD_MAKEFILE" = "y" ]] ; then
+# Sanity check: users tend to tick "rebuild Makefile"
+# without generating one first. Check we have one:
+  if [ ! -f $MKFILE ]; then
+    set -e
+    error_message "You cannot \"rebuild Makefile\" without first building one"
+  fi
 # When regenerating the Makefile, we need to know also the
 # canonical book version
-# shellcheck disable=SC2034
-if [[ "$REBUILD_MAKEFILE" = "y" ]] ; then
   case $PROGNAME in
     clfs* )