summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--darcs-all4
1 files changed, 3 insertions, 1 deletions
diff --git a/darcs-all b/darcs-all
index f4642c0ece..65d661215e 100644
--- a/darcs-all
+++ b/darcs-all
@@ -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;;