projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
44deb23
)
respect the -q switch in this script
author
Simon Marlow
<simonmar@microsoft.com>
Thu, 19 Jan 2006 09:57:59 +0000
(09:57 +0000)
committer
Simon Marlow
<simonmar@microsoft.com>
Thu, 19 Jan 2006 09:57:59 +0000
(09:57 +0000)
darcs-all
patch
|
blob
|
history
diff --git
a/darcs-all
b/darcs-all
index
3a7cc36
..
c711c77
100644
(file)
--- a/
darcs-all
+++ b/
darcs-all
@@
-7,16
+7,25
@@
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
fi
done
for pkg in `cat libraries/default-packages`; do
@@
-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,6
+68,10
@@
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 $*;;
# Hack around whatsnew failing if there are no changes
case $1 in
get) shift; darcsget $*;;
# Hack around whatsnew failing if there are no changes