diff options
Diffstat (limited to 'bin')
-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" |