Imported Debian patch 0.5.4-1

[debian/efibootmgr] / src / lib / efi.c

diff --git a/src/lib/efi.c b/src/lib/efi.c
index a760eb185b70f209f7d1b733ad7f847053591144..a4ce5cfe21cdd6fe8ea942cd133f05dba025bddb 100644 (file)
--- a/src/lib/efi.c
+++ b/src/lib/efi.c
@@ -33,6 +33,7 @@
 #include <sys/types.h>
 #include <sys/ioctl.h>
 #include <linux/sockios.h>
+#include <linux/types.h>
 #include <net/if.h>
 #include <pci/pci.h>
 #include <asm/types.h>
@@ -721,7 +722,7 @@ append_extra_args_file(void *data, unsigned long maxchars)
 
        if (fd == -1) {
                perror("Failed to open extra arguments file");
-               return 0;
+               exit(1);
        }
 
        do {