# HG changeset patch
# User Rob Landley <rob@landley.net>
# Date 1398049267 18000
# Node ID 946d9e8f1752e23d708856e6fb1e8d6ef96664d6
# Parent  c0a10cc8e4e7e4c9a973a7e091125c5a29bed1e3
Only rebuild record-commands if host-tools built stuff, otherwise parallel builds fight.

diff -r c0a10cc8e4e7 -r 946d9e8f1752 host-tools.sh
--- a/host-tools.sh	Sun Apr 20 14:30:56 2014 -0500
+++ b/host-tools.sh	Sun Apr 20 22:01:07 2014 -0500
@@ -132,7 +132,7 @@
 # remove the old ones.
 
 PATH="$(hosttools_path)"
-if [ -e "$BUILD"/record-commands ]
+if [ -e "$BUILD"/record-commands ] && [ ! -z "$(find "$STAGE_DIR" -newer "$WORK")" ]
 then
   cd "$TOP" && more/record-commands.sh || dienow
 fi