summaryrefslogtreecommitdiff
path: root/init.sh
diff options
context:
space:
mode:
Diffstat (limited to 'init.sh')
-rwxr-xr-xinit.sh23
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"