diff options
Diffstat (limited to 'resources/scripts/build/grub')
| -rwxr-xr-x | resources/scripts/build/grub/utils | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/resources/scripts/build/grub/utils b/resources/scripts/build/grub/utils index 3e379472..dbe14bc0 100755 --- a/resources/scripts/build/grub/utils +++ b/resources/scripts/build/grub/utils @@ -22,6 +22,8 @@ [ "x${DEBUG+set}" = 'xset' ] && set -v set -u -e +. "include/err.sh" + main() { printf "Building GRUB\n" @@ -41,10 +43,4 @@ build_grub() ) } -err() -{ - printf "%s: error: %s\n" $0 $1 - exit 1 -} - main $@ |