Imported Upstream version 0.5.4
[debian/efibootmgr] / src / lib / efi.c
index 2bec2ad13f56249bb52ea0b3c4e2c5b29b11ffa5..a4ce5cfe21cdd6fe8ea942cd133f05dba025bddb 100644 (file)
 #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>
 #include <linux/ethtool.h>
 #include "efi.h"
 #include "efichar.h"
@@ -720,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 {