From 517a1ff79c146c354db6875ab34c9393f319cbf0 Mon Sep 17 00:00:00 2001
From: Rasmus Andersson <rasmus@notion.se>
Date: Sat, 30 Sep 2017 11:45:18 -0700
Subject: init.sh: adds -f option

---
 init.sh | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'init.sh')

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
-- 
cgit v1.2.3