chiark
/
gitweb
/
~mdw
/
rsv
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
bin/sandwich: Run the toolchain nicely.
[rsv]
/
bin
/
sandwich
diff --git
a/bin/sandwich
b/bin/sandwich
index a043513b624b3b7108c3c4e604c4a63219577811..c0955f7c3ca5aafc92decaddd20835ae0ff944f6 100755
(executable)
--- a/
bin/sandwich
+++ b/
bin/sandwich
@@
-14,4
+14,4
@@
while :; do
done
case $1 in --) shift ;; esac
case $# in 0) echo >&2 "$0: nothing to do"; exit 2 ;; esac
-exec "$@"
+exec
nice
"$@"