diff options
| author |  Craig Tiller <craig.tiller@gmail.com> | 2015-01-19 14:50:44 -0800 |
|---|---|---|
| committer | Craig Tiller <craig.tiller@gmail.com> | 2015-01-19 14:50:44 -0800 |
| commit | 98d532dbc46954b484e898823af6ce100dd1b5d9 (patch) | |
| tree | 72b4ee6da4c04e5efb52846890ea04734c9f5362 /tools | |
| parent | ecd49345b5c500b9ea1da70b15c90b87da3ff55a (diff) | |
Check for executable existance
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/clang-format/config.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/clang-format/config.sh b/tools/clang-format/config.sh index b7168ab2e3..3adf2678e7 100644 --- a/tools/clang-format/config.sh +++ b/tools/clang-format/config.sh @@ -1 +1,11 @@ CLANG_FORMAT=clang-format-3.5 + +set -ex + +if not hash $CLANG_FORMAT 2>/dev/null; then + echo "$CLANG_FORMAT is needed but not installed" + echo "perhaps try:" + echo " sudo apt-get install $CLANG_FORMAT" + exit 1 +fi + |