changeset 1649:946d9e8f1752 1.2.7

Only rebuild record-commands if host-tools built stuff, otherwise parallel builds fight.
author Rob Landley <rob@landley.net>
date Sun, 20 Apr 2014 22:01:07 -0500
parents c0a10cc8e4e7
children 078b9d5df887
files host-tools.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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