turn off f24 build

[infrastructure.git] / scripts / all-modules-push.sh

diff --git a/scripts/all-modules-push.sh b/scripts/all-modules-push.sh
index 1345375..6d21c40 100755 (executable)
--- a/scripts/all-modules-push.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 --archive --delete "$@" ~/all-modules/[45]* --exclude .diff\* --exclude .version\* --delete-excluded root@build.onelab.eu:/build/modules/
+rsync --archive --delete "$@" ~/all-modules/* --exclude .diff\* --exclude .version\* --delete-excluded root@build.onelab.eu:/build/modules/