diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-03-01 08:44:02 (EST) |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-03-01 08:44:39 (EST) |
| commit | 41d9151df72bf086894960809778402c4d1eae74 (patch) | |
| tree | 1f461f91449e2df7feba87b77eb4a90f31c620f3 /resources/utilities/grub-assemble/gen.sh | |
| parent | 64147c1947241d55ff522bd4922f2e58b629b0d3 (diff) | |
| download | libreboot-41d9151df72bf086894960809778402c4d1eae74.zip libreboot-41d9151df72bf086894960809778402c4d1eae74.tar.gz libreboot-41d9151df72bf086894960809778402c4d1eae74.tar.bz2 | |
grub-assemble: Disable verbose output
Diffstat (limited to 'resources/utilities/grub-assemble/gen.sh')
| -rwxr-xr-x | resources/utilities/grub-assemble/gen.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/resources/utilities/grub-assemble/gen.sh b/resources/utilities/grub-assemble/gen.sh index affa58b..8174939 100755 --- a/resources/utilities/grub-assemble/gen.sh +++ b/resources/utilities/grub-assemble/gen.sh @@ -7,7 +7,8 @@ # The original grub-assemble that this tool is based on: # https://gitorious.org/gnutoo-for-coreboot/grub-assemble -set -u -e -v +[ "x${DEBUG+set}" = 'xset' ] && set -v +set -u -e if (( $# != 1 )); then echo "Usage: ./gen.sh mode" |