build-rr: write "config" which includes both mk/sh configs

diff --git a/build-rr.sh b/build-rr.sh
index d487eee30d1483d08fdbb6693c98459678e6898f..35656b5e8b9cf4549f6dd59655d65d8fb4e5f96a 100755 (executable)
--- a/build-rr.sh
+++ b/build-rr.sh
@@ -289,6 +289,10 @@ buildrump ()
 
        makeconfig ${RROBJ}/config.mk ''
        makeconfig ${RROBJ}/config.sh \"
+       cat > ${RROBJ}/config << EOF
+export RUMPRUN_MKCONF="${RROBJ}/config.mk"
+export RUMPRUN_SHCONF="${RROBJ}/config.sh"
+EOF
        export RUMPRUN_MKCONF="${RROBJ}/config.mk"
 
        cat >> ${RUMPTOOLS}/mk.conf << EOF
@@ -477,8 +481,7 @@ echo '>>'
 echo ">> Finished $0 for ${PLATFORM}"
 echo '>>'
 echo ">> For Rumprun developers (if you're not sure, you don't need it):"
-echo "export RUMPRUN_MKCONF=\"${RROBJ}/config.mk\""
-echo "export RUMPRUN_SHCONF=\"${RROBJ}/config.sh\""
+echo ". \"${RROBJ}/config\""
 echo '>>'
 if ${DObuild}; then
        printf ">> toolchain tuple: ${TOOLTUPLE}\n"