diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2015-07-07 12:45:59 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2015-07-07 12:45:59 -0700 |
commit | 4fc4bbd9bcec0b965f604cddfb4f479662cdc5ce (patch) | |
tree | c870cf2bb054b62d6b5add1ed2628be529323a9a /scripts | |
parent | 97e70a9c0eba6b0da55aa1733f1b4693bc50ec6e (diff) | |
download | subsurface-4fc4bbd9bcec0b965f604cddfb4f479662cdc5ce.tar.gz |
Build script: use mirror on our git server
gitorious is going away and the project doesn't appear to have migrated
anywhere, yet.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index 89c682b6d..7b54beaee 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -159,7 +159,7 @@ if [ ! -d grantlee ] ; then if [[ $1 = local ]] ; then git clone $SRC/../grantlee grantlee else - git clone https://gitorious.org/grantlee/grantlee.git + git clone git://subsurface-divelog.org/grantlee fi fi cd grantlee |