diff options
Diffstat (limited to 'scripts/mk-images')
| -rwxr-xr-x | scripts/mk-images | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/mk-images b/scripts/mk-images index d42bc4ccc..e7b30cea2 100755 --- a/scripts/mk-images +++ b/scripts/mk-images @@ -891,6 +891,7 @@ doPostImages() { # this gets overloaded if we're on an EFI-capable arch (... with grub) makeEfiImages() { + echo "Not on an EFI capable machine; skipping EFI images." /bin/true } |