diff options
author | Marvin Borner | 2020-04-02 15:59:20 +0200 |
---|---|---|
committer | Marvin Borner | 2020-04-02 15:59:20 +0200 |
commit | 4391a5a374b7b75ca8fa69d35dcb5c5f9ad7f765 (patch) | |
tree | ca4c42ee6d95ae74c97440c8179efd45677b9c42 /run | |
parent | 0f47372d4e8395cdbd9158fb45dd3a6d58e9a52e (diff) |
Rewrite of the font converter
It work way better now and no user interaction is needed anymore. I've
also added a command to the run script that easily accesses the font
conversion.
Diffstat (limited to 'run')
-rwxr-xr-x | run | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -167,6 +167,12 @@ make_tidy() { find ./src -type f | xargs -l -i sh -c 'printf %s "$(< {})" > {}' } +make_font() { + cd ./src/resources/ || exit 1 + sh conv.sh + cd ../../ || exit 1 +} + make_clean() { rm -rf ./build ./iso } @@ -200,7 +206,10 @@ elif [ "${mode}" = "sync" ]; then make_sync elif [ "${mode}" = "tidy" ]; then make_tidy +elif [ "${mode}" = "font" ]; then + make_font + make_tidy else echo "Please use the following syntax:" - echo "./run {cross | build | clean | test | debug | image}" + echo "./run {cross | build | clean | test | debug | image | sync | tidy | font}" fi |