diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-03 13:27:34 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-11-22 01:35:07 +0100 |
commit | 7879d0f3f98cec6e3198e1f12902888ab281553b (patch) | |
tree | c63211befedfdc32158fc7f2c7c7ab1b0fe3a440 /bin | |
parent | 8a61ff432543a29234193cd1f7c14abd3f3d31a0 (diff) | |
download | dotty-7879d0f3f98cec6e3198e1f12902888ab281553b.tar.gz dotty-7879d0f3f98cec6e3198e1f12902888ab281553b.tar.bz2 dotty-7879d0f3f98cec6e3198e1f12902888ab281553b.zip |
Fix rebuild on change in scripts
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/common | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/common b/bin/common index 4dd2b5716..21c957f7a 100755 --- a/bin/common +++ b/bin/common @@ -124,6 +124,7 @@ function check_jar { 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..." + rm $2 eval "$4" printf "done\n" update_packages |