tools/install.sh | raw changeset files shortlog |
1.1 --- a/tools/install.sh Tue May 29 19:01:38 2018 +0200 1.2 +++ b/tools/install.sh Tue May 29 19:02:55 2018 +0200 1.3 @@ -56,7 +56,13 @@ 1.4 # Generate binaries if appropriate. 1.5 1.6 if [ ! "$CLEAN" ] ; then 1.7 - "$THISDIR/makefonts.sh" -q 1.8 + if ! "$THISDIR/makefonts.sh" -q ; then 1.9 + cat 1>&2 <<EOF 1.10 + 1.11 +Install halted due to font generation problem. 1.12 +EOF 1.13 + exit 1 1.14 + fi 1.15 fi 1.16 1.17 # Copy (or remove) each of the objects.