From 7879d0f3f98cec6e3198e1f12902888ab281553b Mon Sep 17 00:00:00 2001
From: Felix Mulder <felix.mulder@gmail.com>
Date: Thu, 3 Nov 2016 13:27:34 +0100
Subject: Fix rebuild on change in scripts

---
 bin/common | 1 +
 1 file changed, 1 insertion(+)

(limited to 'bin/common')

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
-- 
cgit v1.2.3