init

diff --git a/scripts/all-modules-get.sh b/scripts/all-modules-get.sh
new file mode 100755 (executable)
index 0000000..d962b95
--- /dev/null
+++ b/scripts/all-modules-get.sh
@@ -0,0 +1,5 @@
+#!/bin/bash
+#
+# retrieve the diff/version stuff from Princeton, as the computation over there is *much* faster
+#
+rsync -a "$@" thierry@ssh.planet-lab.org:all-modules/ /build/modules/princeton/

diff --git a/scripts/all-modules.sh b/scripts/all-modules.sh
index cc91e50..484553d 100755 (executable)
--- a/scripts/all-modules.sh
+++ b/scripts/all-modules.sh
@@ -78,12 +78,12 @@ function main () {
     
     echo $$ > $LOCK
 
-    do_update  ~/svn-build-4.3
-    do_diff    ~/svn-build-4.3 4.3
-    do_version ~/svn-build-4.3 4.3 
     do_update  ~/svn-build
-    do_diff    ~/svn-build     5.0
     do_version ~/svn-build     5.0 
+    do_diff    ~/svn-build     5.0
+    do_update  ~/svn-build-4.3
+    do_version ~/svn-build-4.3 4.3 
+    do_diff    ~/svn-build-4.3 4.3
 
     rm $LOCK