+# Figure out where to get the other repositories from,
+# based on where this GHC repo came from.
+defaultrepo=`cat _darcs/prefs/defaultrepo`
+case $defaultrepo in
+ http://* | *@*:*)
+ defaultrepo_lib=`echo $defaultrepo | sed 's!/ghc$!!'`/packages;;
+ /*)
+ defaultrepo_lib=$defaultrepo/libraries;;
+esac
+
+quiet=NO
+
+message()
+{
+ if [ "$quiet" = "NO" ]; then
+ echo $*
+ fi
+}