(no commit message)

diff --git a/scripts/all-modules-get.sh b/scripts/all-modules-push.sh
similarity index 58%
rename from scripts/all-modules-get.sh
rename to scripts/all-modules-push.sh
index d962b95..6c2444c 100755 (executable)
--- a/scripts/all-modules-get.sh
+++ b/scripts/all-modules-push.sh
@@ -2,4 +2,4 @@
 #
 # 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/
+rsync -a "$@" ~/all-modules/ root@uild.onelab.eu:/build/modules/

diff --git a/scripts/all-modules.sh b/scripts/all-modules.sh
index 76a4c4f..2ba6118 100755 (executable)
--- a/scripts/all-modules.sh
+++ b/scripts/all-modules.sh
@@ -13,7 +13,7 @@ COMMAND=$(basename $0)
 
 # make the command usable as non-root user at Princeton for more efficiency
 if [ "$(id -u)" == "0" ] ; then
-    OUTPUT=/build/modules
+    OUTPUT=/build/modules/slow
     LOCK=/var/run/all-modules.pid
 else
     OUTPUT=~/all-modules