diff options
author | Peter Korsgaard <jacmet@sunsite.dk> | 2008-06-18 13:11:52 +0000 |
---|---|---|
committer | Peter Korsgaard <jacmet@sunsite.dk> | 2008-06-18 13:11:52 +0000 |
commit | 0c462a82ec7ba43148b4deea76ef1394263a3845 (patch) | |
tree | c12a036497f2ff32d2790fe508b4dd9aa114a9a1 | |
parent | 4098f22eb4139904e566f4ddc7f29d88e7300c97 (diff) |
dependencies: check for awk
-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' # ############################################################# |