improve speed of init.sh by removing useless file mtime check

1 files changed, 1 insertions, 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"