From e6508e7a5351a74c91b6de46ea241d4c526e92b3 Mon Sep 17 00:00:00 2001 From: Dmitry Petrashko Date: Wed, 27 May 2015 22:55:23 +0200 Subject: Rebuild dotc if new *.scala files are found in `dotty/src` --- bin/dotc | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'bin') diff --git a/bin/dotc b/bin/dotc index 1aadfbc55..088ae14ff 100755 --- a/bin/dotc +++ b/bin/dotc @@ -57,6 +57,15 @@ function checkjar { else echo "The required jar file was built successfully." fi + else + NEW_FILES="$(find "$DOTTY_ROOT/src" -iname "*.scala" -newer "$1")" + if [ ! -z "$NEW_FILES" ]; + then + echo "new files detected. rebuilding" + cd $DOTTY_ROOT + sbt $2 + cd - + fi fi } -- cgit v1.2.3