Switch to new submodule URL.

.gitmodules

 [submodule "scripts"]
 	path = scripts
-	url = git-laas:robots/scripts
+	url = git://github.com/laas/dev-tools.git
 [submodule "build-aux"]
 	path = build-aux
-	url = roboptim:build-aux.git
+	url = git://github.com/laas/shared-build-aux.git

bootstrap

@@ -2,77 +2,8 @@
 
 set -e
 
-# Print an error message and exit.
-die ()
-{
-    echo >&2 "fatal: $1"
-    exit 2
-}
-
-# Properly explain how to set up a RobOptim working directory and exit.
-die_noroboptimalias ()
-{
- echo >&2 "To properly finish setting up your working directory,"
- echo >&2 "you need to define how RobOptim should connect to SourceForge."
- echo >&2 ""
- echo >&2 "If you only need read-access (which is usually what one wants):"
- echo >&2 "echo '[url \"git://roboptim.git.sourceforge.net/gitroot/roboptim/\"]"
- echo >&2 "        insteadOf = roboptim:' >> ~/.gitconfig"
- echo >&2 ""
-
- die "no \`\`roboptim:'' alias in your git configuration."
-}
-
-# Properly explain how to set up a scripts working directory and exit.
-die_nogitlaasmalias ()
-{
- echo >&2 "To properly finish setting up your working directory,"
- echo >&2 "you need to define how submodule \"scripts\" should should be"
- echo >&2 "downloaded."
- echo >&2 ""
- echo >&2 "If you only need read-access (which is usually what one wants):"
- echo >&2 "echo '[url \"ssh://[softs|git].laas.fr/git/\"]"
- echo >&2 "        insteadOf = git-laas:' >> ~/.gitconfig"
- echo >&2 ""
-
- die "no \`\`git-laas:'' alias in your git configuration."
-}
-
-# Check that git version is newer enough.
-check_git_version ()
-{
-    version=`git --version | sed 's/^git version \([0-9]\.[0-9]\.[0-9]\).*$/\1/'`
-
-    if test x"$version" = x; then
-	die "failed to parse git version"
-    fi
-
-    for i in 1 2 3; do
-	wantedversion=`echo "$1" | cut -d'.' -f$i`
-	gitversion=`echo "$version" | cut -d'.' -f$i`
-
-	if test $gitversion -lt $wantedversion; then
-	    die "git version is too old (version $1 at least is required)"
-	fi
-	if test $gitversion -gt $wantedversion; then
-	    return
-	fi
-    done
-}
-
 # Make sure that the submodule are retrieved.
 if test -d ".git"; then
-    # Url rewriting has been introduced in git 1.5.5.
-    check_git_version "1.5.5"
-
-    if test x`git config -l | grep 'url\..*\.insteadof=roboptim:'` = x; then
-	die_noroboptimalias
-    fi
-
-    if test x`git config -l | grep 'url\..*\.insteadof=git-laas:'` = x; then
-	die_nogitlaasmalias
-    fi
-
     git submodule init
     git submodule update
 fi