archive/inter-font
Archived
0
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

init.sh: adds -f option

Browse source
This commit is contained in:
Rasmus Andersson 2017-09-30 11:45:18 -07:00
parent c6f7a09c5a
commit 517a1ff79c
1 changed files with 10 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

11
init.sh
View file

@ -28,6 +28,13 @@ else
set -e
cd "$SRCDIR"
if [[ "$1" == "-h" ]] || [[ "$1" == "-help" ]] || [[ "$1" == "--help" ]]; then
echo "usage: $0 [options]" >&2
echo "options:" >&2
echo " -f Force generation of build/etc/generated.make" >&2
exit 1
fi
# ————————————————————————————————————————————————————————————————————————————————————————————————
# virtualenv
@ -202,7 +209,9 @@ else
# Only generate if there are changes to the font sources
NEED_GENERATE=false
if [[ ! -f "$GEN_MAKE_FILE" ]] || [[ "$0" -nt "$GEN_MAKE_FILE" ]]; then
if [[ "$1" == "-f" ]]; then
NEED_GENERATE=true
elif [[ ! -f "$GEN_MAKE_FILE" ]] || [[ "$0" -nt "$GEN_MAKE_FILE" ]]; then
NEED_GENERATE=true
else
for style in "${master_styles[@]}"; do