init
[infrastructure.git] / scripts / all-modules-get.sh
1 #!/bin/bash
2 #
3 # retrieve the diff/version stuff from Princeton, as the computation over there is *much* faster
4 #
5 rsync -a "$@" thierry@ssh.planet-lab.org:all-modules/ /build/modules/princeton/