calls make versions for logging
authorthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Mon, 30 Jul 2007 11:25:35 +0000 (11:25 +0000)
committerthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Mon, 30 Jul 2007 11:25:35 +0000 (11:25 +0000)
scripts/nightly-build.sh

index 63b2aca..3b234b8 100755 (executable)
@@ -93,7 +93,11 @@ function build () {
     show_env
     
     echo "Running make IN build $(pwd)"
-    make stage1=true ${MAKEOPTS[@]} DISTROMAKETAGS=${DISTROMAKETAGS} PLDISTRO=${DISTRO} ${MAKEVARS[@]} -C $BASE $MAKETARGETS
+    make stage1=true ${MAKEOPTS[@]} DISTROMAKETAGS=${DISTROMAKETAGS} PLDISTRO=${DISTRO} ${MAKEVARS[@]} -C $BASE 
+    # in case we use an older build
+    set +e
+    make ${MAKEOPTS[@]} DISTROMAKETAGS=${DISTROMAKETAGS} PLDISTRO=${DISTRO} ${MAKEVARS[@]} -C $BASE versions
+    set -e
     make ${MAKEOPTS[@]} DISTROMAKETAGS=${DISTROMAKETAGS} PLDISTRO=${DISTRO} ${MAKEVARS[@]} -C $BASE $MAKETARGETS
 
     # restore silent mode - otherwise cron gets it