git://git.onelab.eu
/
infrastructure.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
#
#
# 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/