aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcbt8
1 files changed, 4 insertions, 4 deletions
diff --git a/cbt b/cbt
index 1521b28..050ee9d 100755
--- a/cbt
+++ b/cbt
@@ -163,7 +163,7 @@ fi
stage1 () {
log "Checking for changes in cbt/nailgun_launcher" "$@"
- NAILGUN_INDICATOR=$NAILGUN$TARGET/cbt/NailgunLauncher.class
+ NAILGUN_INDICATOR=$NAILGUN$TARGET../classes.last-success
changed=0
for file in `ls $NAILGUN/*.java`; do
if [ $file -nt $NAILGUN_INDICATOR ]; then changed=1; fi
@@ -172,11 +172,11 @@ stage1 () {
if [ $changed -eq 1 ]; then
#rm $NAILGUN$TARGET/cbt/*.class 2>/dev/null # defensive delete of potentially broken class files
echo "Compiling cbt/nailgun_launcher" 1>&2
+ COMPILE_TIME=$(date -j +%YY%mm%dd%HH%MM.%SS|sed "s/[YmdHMS]//g")
javac -Xlint:deprecation -Xlint:unchecked -d $NAILGUN$TARGET `ls $NAILGUN*.java`
compiles=$?
- if [ $compiles -ne 0 ]; then
- rm $NAILGUN$TARGET/cbt/*.class 2>/dev/null # triggers recompilation next time.
- break
+ if [ $compiles -eq 0 ]; then
+ touch -t $COMPILE_TIME $NAILGUN_INDICATOR
fi
if [ $use_nailgun -eq 0 ]; then
echo "Stopping background process (nailgun)" 1>&2