diff options
author | Rasmus Andersson <rasmus@notion.se> | 2020-04-06 00:51:27 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2020-04-06 00:51:27 +0300 |
commit | 0a2125ef7ef7a24f5cbd7d21fc2dd82f43dcfa55 (patch) | |
tree | dbcdcb8a680316b2a22816a8412c6108ccdf5108 /init.sh | |
parent | f069633dd5b9f5fb552542854721f0454a3ff1fb (diff) | |
download | inter-0a2125ef7ef7a24f5cbd7d21fc2dd82f43dcfa55.tar.xz |
improve speed of init.sh by removing useless file mtime check
Diffstat (limited to 'init.sh')
-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" |