Commit c6ccf379 authored by Ian Lynagh's avatar Ian Lynagh

Tweak darcs-all script

If you got darcs by SSH without specifying a username then the script
would break.
parent e63653ad
......@@ -8,9 +8,11 @@ top_dirs="nofib testsuite"
# based on where this GHC repo came from.
defaultrepo=`cat _darcs/prefs/defaultrepo`
case $defaultrepo in
http://* | *@*:*)
# HTTP or SSH:
http://* | *:*)
defaultrepo_base="`echo $defaultrepo | sed 's!/ghc$!!'`"
defaultrepo_lib="$defaultrepo_base"/packages;;
# Local filesystem (assumes a checked-out tree):
/*)
defaultrepo_base="$defaultrepo"
defaultrepo_lib="$defaultrepo"/libraries;;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment