Commit cb5e6272 authored by Simon Marlow's avatar Simon Marlow
Browse files

Figure out where the rest of the repositories are, based on defaultrepo

This is a slight improvement over the patch sent by,
we now do it properly if the source repo was a GHC tree on the local
filesystem too.

Merge post 6.6.
parent 807c4b5f
...@@ -4,8 +4,15 @@ set -e ...@@ -4,8 +4,15 @@ set -e
top_dirs="nofib testsuite" top_dirs="nofib testsuite"
default_repo_root="" # Figure out where to get the other repositories from,
default_lib_repo_root=$default_repo_root/packages # based on where this GHC repo came from.
defaultrepo=`cat _darcs/prefs/defaultrepo`
case $defaultrepo in
http://*) default_repo_root=`echo $defaultrepo | sed 's!/ghc$!!'`
/*) default_repo_root=$defaultrepo
quiet=NO quiet=NO
Supports Markdown
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