configure: accept git@<host>/<path>.git as git URI

2009-05-08 15:21:51 +02:00 · 2009-05-08 15:21:51 +02:00 · 3a534e1112
parent c4bb93f51c
commit 3a534e1112
1 changed files with 1 additions and 0 deletions
--- a/configure-pre.in
+++ b/configure-pre.in
@ -198,6 +198,7 @@ if test "$SYNTHESISSRC" && test "$SYNTHESISSRC" != "none"; then

    AC_MSG_NOTICE( [updating the content of $SYNTHESIS_SRC from $SYNTHESISSRC] )
    case "$SYNTHESISSRC" in
+        *.git) protocol=git;;
        *://*) protocol="`echo $SYNTHESISSRC | sed -e 's;://.*;;'`";;
        *) protocol="file";;
    esac