checkprevbuilds is now necessary only for xen

diff --git a/build-rr.sh b/build-rr.sh
index 54b20db1abffdd7b4e0453639878c6e27b68d622..27a6625e897994204817fa9aad5a96168ff3a0ed 100755 (executable)
--- a/build-rr.sh
+++ b/build-rr.sh
@@ -206,6 +206,8 @@ checksubmodules ()
 checkprevbuilds ()
 {
 
+       [ "${PLATFORM}" = "xen" ] || return 0
+
        if [ -f .prevbuild ]; then
                . ./.prevbuild
                : ${PB_KERNONLY:=false} # "bootstrap", remove in a few months