diff options
| -rwxr-xr-x | toolchain/dependencies/dependencies.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/toolchain/dependencies/dependencies.sh b/toolchain/dependencies/dependencies.sh index 60b9b6596..170f43728 100755 --- a/toolchain/dependencies/dependencies.sh +++ b/toolchain/dependencies/dependencies.sh @@ -234,6 +234,18 @@ fi ############################################################# # +# check build system 'awk' +# +############################################################# +if ! which awk > /dev/null ; then + echo "awk installed: FALSE" + /bin/echo -e "\n\nYou must install 'awk' on your build machine\n"; + exit 1; +fi; +echo "awk installed: Ok" + +############################################################# +# # check build system 'bison' # ############################################################# |