diff options
author | Marvin Borner | 2020-05-11 19:14:20 +0200 |
---|---|---|
committer | Marvin Borner | 2020-05-11 19:14:20 +0200 |
commit | d00e6a08ededb16e5d075ce28d7d797763e25c55 (patch) | |
tree | 1ab924d955056c342d21e1632251c4899bf8f11c /run | |
parent | 6abd515c051b6dcb545e1033ff129aaaf7293917 (diff) |
Some very small fixes in several files
Diffstat (limited to 'run')
-rwxr-xr-x | run | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -214,12 +214,12 @@ elif [ "${mode}" = "tidy" ]; then elif [ "${mode}" = "font" ]; then make_font make_tidy -elif [ "${mode}" = "help" ]; then - echo "Please use the following syntax:" - echo "The default option is 'test'" - echo "./run {cross | build | clean | test | debug | image | sync | tidy | font} [-y]" -else # TODO: Prevent code duplication in build script via functions? +elif [ "${mode}" = "" ]; then # TODO: Prevent code duplication in build script via functions? make_cross make_build make_test +else + echo "Please use the following syntax:" + echo "./run {cross | build | clean | test | debug | image | sync | tidy | font} [-y]" + echo "The default option is 'test'" fi |