diff options
| author | Franck Cuny <franck.cuny@gmail.com> | 2016-11-12 07:11:51 -0800 |
|---|---|---|
| committer | Franck Cuny <franck.cuny@gmail.com> | 2016-11-12 07:11:51 -0800 |
| commit | 7fdd16ef46b3338d9711ef0e7321642e3271d8eb (patch) | |
| tree | 193a9968a9fc59f55f19c2b915e95a1dcd89670b | |
| parent | [bin] Add a script to update Emacs. (diff) | |
| download | emacs.d-7fdd16ef46b3338d9711ef0e7321642e3271d8eb.tar.gz | |
[bin] Before building pants targets, check source is available
Diffstat (limited to '')
| -rwxr-xr-x | bin/build-twttr-world | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/bin/build-twttr-world b/bin/build-twttr-world index 85d4f4e..a2fe9b3 100755 --- a/bin/build-twttr-world +++ b/bin/build-twttr-world @@ -1,5 +1,13 @@ #!/bin/bash +SOURCE_ROOT="${HOME}/src/source" + +if [ ! -d "${SOURCE_ROOT}" ]; then + echo "It looks like ${SOURCE_ROOT} is not available." + exit 1 +fi + + TARGETS=( 'science/src/python/twitter/checkstyle:check' 'science/src/python/twitter/messaging/tools/:bookkeeper' @@ -10,7 +18,7 @@ TARGETS=( 'science/src/python/twitter/messaging/tools/:proxy-admin' ) -cd ~/src/source +cd "${SOURCE_ROOT}" for target in "${TARGETS[@]}"; do echo -n "Build $target" |