init.sh: adds -f option

1 files changed, 10 insertions, 1 deletions

diff --git a/init.sh b/init.sh
index debea40bd..d44d63a70 100755
--- a/init.sh
+++ b/init.sh
@@ -28,6 +28,13 @@ else
   set -e
   cd "$SRCDIR"
 
+  if [[ "$1" == "-h" ]] || [[ "$1" == "-help" ]] || [[ "$1" == "--help" ]]; then
+    echo "usage: $0 [options]" >&2
+    echo "options:" >&2
+    echo "  -f  Force generation of build/etc/generated.make" >&2
+    exit 1
+  fi
+
   # ————————————————————————————————————————————————————————————————————————————————————————————————
   # virtualenv
 
@@ -202,7 +209,9 @@ else
 
   # Only generate if there are changes to the font sources
   NEED_GENERATE=false
-  if [[ ! -f "$GEN_MAKE_FILE" ]] || [[ "$0" -nt "$GEN_MAKE_FILE" ]]; then
+  if [[ "$1" == "-f" ]]; then
+    NEED_GENERATE=true
+  elif [[ ! -f "$GEN_MAKE_FILE" ]] || [[ "$0" -nt "$GEN_MAKE_FILE" ]]; then
     NEED_GENERATE=true
   else
     for style in "${master_styles[@]}"; do