diff options
| author | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2009-12-07 19:23:51 +0100 |
|---|---|---|
| committer | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2009-12-07 19:23:51 +0100 |
| commit | 35964f8dbd2b4497e753eb02dab694f9e45b0f18 (patch) | |
| tree | 5b5cea09b7e5f9fca2d6f2fed950705abeddc435 | |
| parent | c598e06618243026c37eff053a2bd6c1c3ce4165 (diff) | |
Speeding up compilation locally
| -rwxr-xr-x | compilation | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/compilation b/compilation index 9218e1a..91ac28c 100755 --- a/compilation +++ b/compilation @@ -6,8 +6,10 @@ # not limited to, mysql-client-dev, imagemagick-dev, and oracle-occi # -if [ "$USER" == "pixel" ] || [ "$USER" == "nnoble" ] ; then - prefix="ssh+git://pixel@" +if [ "x$USER" = "xpixel" ] || [ "x$USER" = "xnnoble" ] ; then + if [ "x$HOSTNAME" != "xgrumpy" ] ; then + prefix="ssh+git://pixel@" + fi path="/pub/repo.git" else prefix="http://" |