projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
tiny cleanup
[ghc-hetmet.git]
/
darcs-all
diff --git
a/darcs-all
b/darcs-all
index
222c512
..
2fd61a8
100644
(file)
--- a/
darcs-all
+++ b/
darcs-all
@@
-7,21
+7,30
@@
top_dirs="nofib testsuite"
default_repo_root="http://darcs.haskell.org/"
default_lib_repo_root=$default_repo_root/packages
default_repo_root="http://darcs.haskell.org/"
default_lib_repo_root=$default_repo_root/packages
+quiet=NO
+
+function message()
+{
+ if [ "$quiet" = "NO" ]; then
+ echo $*
+ fi
+}
+
function darcsall()
{
function darcsall()
{
- echo == running darcs $* at the top level
+ message "== running darcs $* at the top level"
darcs $*
for dir in $top_dirs; do
if test -d $dir -a -d $dir/_darcs; then
darcs $*
for dir in $top_dirs; do
if test -d $dir -a -d $dir/_darcs; then
- echo "== running darcs $* in $dir"
+ message "== running darcs $* in $dir"
darcs $* --repodir $dir
else
darcs $* --repodir $dir
else
- echo "== $dir not present or not a repository; skipping"
+ message "== $dir not present or not a repository; skipping"
fi
done
for pkg in `cat libraries/default-packages`; do
if test -d libraries/$pkg; then
fi
done
for pkg in `cat libraries/default-packages`; do
if test -d libraries/$pkg; then
- echo "== running darcs $* in libraries/$pkg"
+ message "== running darcs $* in libraries/$pkg"
darcs $* --repodir libraries/$pkg
else
echo "warning: $dir doesn't seem to exist, use 'darcs-all get' to get it"
darcs $* --repodir libraries/$pkg
else
echo "warning: $dir doesn't seem to exist, use 'darcs-all get' to get it"
@@
-48,7
+57,7
@@
function darcsget()
echo "warning: $pkg already present; omitting"
else
repo=$lib_repos/$pkg
echo "warning: $pkg already present; omitting"
else
repo=$lib_repos/$pkg
- echo "== running darcs get --partial $* $repo"
+ message "== running darcs get --partial $* $repo"
darcs get --partial $* $repo
fi
done
darcs get --partial $* $repo
fi
done
@@
-59,7
+68,13
@@
if test ! -d _darcs -o ! -d ghc; then
exit 1;
fi
exit 1;
fi
+case $* in
+ *-q*) quiet=YES;;
+esac
+
case $1 in
get) shift; darcsget $*;;
case $1 in
get) shift; darcsget $*;;
+ # Hack around whatsnew failing if there are no changes
+ w|wh|wha|what|whats|whatsn|whatsne|whatsnew) set +e; darcsall $*;;
*) darcsall $*;;
esac
*) darcsall $*;;
esac