bin/sandwich: Run the toolchain nicely.

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 "$@"