From 61f43004a1e456439b798b410276ba22b7b26a52 Mon Sep 17 00:00:00 2001 From: thierry Date: Mon, 12 Apr 2010 12:39:21 +0000 Subject: [PATCH] --- scripts/{all-modules-get.sh => all-modules-push.sh} | 2 +- scripts/all-modules.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) rename scripts/{all-modules-get.sh => all-modules-push.sh} (58%) 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 --- 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 --- 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 -- 2.43.0