From 0a2125ef7ef7a24f5cbd7d21fc2dd82f43dcfa55 Mon Sep 17 00:00:00 2001
From: Rasmus Andersson <rasmus@notion.se>
Date: Sun, 5 Apr 2020 14:51:27 -0700
Subject: improve speed of init.sh by removing useless file mtime check

---
 init.sh | 23 +----------------------
 1 file changed, 1 insertion(+), 22 deletions(-)

diff --git a/init.sh b/init.sh
index 9d44d7cfb..49eb12ffa 100755
--- a/init.sh
+++ b/init.sh
@@ -409,29 +409,8 @@ else
     break
   done
 
-  # Only generate if there are changes to the font sources or init.sh
-  NEED_GENERATE=false
+  # Generate BUILD_DIR/etc/generated.make
   if $clean || [[ ! -f "$GEN_MAKE_FILE" ]] || [[ "$0" -nt "$GEN_MAKE_FILE" ]]; then
-    NEED_GENERATE=true
-  else
-    for style in "${master_styles[@]}"; do
-      if $NEED_GENERATE; then
-        break
-      fi
-      if [[ ! -d "build/ufo/Inter-${style}.ufo" ]] || \
-         has_newer "build/ufo/Inter-${style}.ufo" "$GEN_MAKE_FILE"
-      then
-        NEED_GENERATE=true
-      fi
-      if [[ ! -d "build/ufo/InterDisplay-${style}.ufo" ]] || \
-         has_newer "build/ufo/InterDisplay-${style}.ufo" "$GEN_MAKE_FILE"
-      then
-        NEED_GENERATE=true
-      fi
-    done
-  fi
-
-  if $NEED_GENERATE; then
     echo "Generating '$GEN_MAKE_FILE'"
     echo "# Generated by init.sh -- do not modify manually" > "$GEN_MAKE_FILE"
     echo "" >> "$GEN_MAKE_FILE"
-- 
cgit v1.2.3