Use finer-grained config.cache files for our configure runs

bk: 548ede4d72jDMhr8obPcKpojU7k_1g

diff --git a/build b/build
index 75f20a2c32ecad99bf785fcb1207fdb014e1e222..bfe62770803d440acc5189667f116f7c63233d5e 100755 (executable)
--- a/build
+++ b/build
@@ -117,7 +117,7 @@ case "$CC" in
     ;;
 esac
 
-BDIR="$BASEDIR$KEYSUF$CCSUF"
+       BDIR="$BASEDIR$KEYSUF$CCSUF"
 
 [ -d "$BDIR" ] || mkdir $BDIR
 [ -f "$BDIR/.buildcvo" ] || echo $CVO > $BDIR/.buildcvo
@@ -162,7 +162,7 @@ if [ -z "$TEST" ] ; then
     fi
 fi
 
-CONFIGURE="../configure --cache-file=../config.cache-$IAM$CCSUF $CONFIG_ARGS"
+CONFIGURE="../configure --cache-file=../config.cache-$IAM$KEYSUF$CCSUF $CONFIG_ARGS"
 
 (      # This sequence of commands is logged to make.log.
        # If config.status is newer than ../configure, and the same