diff options
author | Dmitry Petrashko <dark@d-d.me> | 2016-07-28 13:30:54 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-28 13:30:54 +0200 |
commit | cc21026a5a5ee2e2abd73687ff35ec3b83b7edb0 (patch) | |
tree | 1b6f6d6ef6ab406821d644e53aaf31228cd57c33 /bin | |
parent | fe36073ee1ae974fbb82d7bcb220b44ec0afc68b (diff) | |
parent | 206444003f8675d0dcfd647e6a2d4d957fcb5268 (diff) | |
download | dotty-cc21026a5a5ee2e2abd73687ff35ec3b83b7edb0.tar.gz dotty-cc21026a5a5ee2e2abd73687ff35ec3b83b7edb0.tar.bz2 dotty-cc21026a5a5ee2e2abd73687ff35ec3b83b7edb0.zip |
Merge pull request #1397 from dotty-staging/fix/dotc-path
bin/common: make check_jar work outside of dotty root
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/common b/bin/common index dcfb5cc1f..aa3fc1af6 100755 --- a/bin/common +++ b/bin/common @@ -102,7 +102,7 @@ fi function check_jar { # Usage: # check_jar "name" "path/to/package.jar" "sources/dir" 'lambda to exec on failure' - local new_files="$(find "$3" \( -iname "*.scala" -o -iname "*.java" \) -newer "$2")" + local new_files="$(find "$DOTTY_ROOT/$3" \( -iname "*.scala" -o -iname "*.java" \) -newer "$2")" if [ ! -z "$new_files" ]; then printf "New files detected in $1, rebuilding..." eval "$4" |