diff options
-rwxr-xr-x | init.sh | 23 |
1 files changed, 1 insertions, 22 deletions
@@ -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" |