diff options
| -rw-r--r-- | util/pgtblgen/Makefile.inc | 2 | ||||
| -rw-r--r-- | util/pgtblgen/pgtblgen.c | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/util/pgtblgen/Makefile.inc b/util/pgtblgen/Makefile.inc index c4f3ef37b6..08fb6209e5 100644 --- a/util/pgtblgen/Makefile.inc +++ b/util/pgtblgen/Makefile.inc @@ -14,6 +14,6 @@ $(obj)/mainboard/$(MAINBOARDDIR)/pagetables: $(PGTBLGEN) $(obj)/config.h $(PGTBLGEN): util/pgtblgen/pgtblgen.c printf " MAKE Creating PGTBLGEN tool\n" - $(HOSTCC) $< -I$(obj) -o $@ + $(HOSTCC) -std=c99 $< -I$(obj) -o $@ endif diff --git a/util/pgtblgen/pgtblgen.c b/util/pgtblgen/pgtblgen.c index 640d0ba7be..7ed98b2825 100644 --- a/util/pgtblgen/pgtblgen.c +++ b/util/pgtblgen/pgtblgen.c @@ -9,6 +9,7 @@ #include <fcntl.h> #include <errno.h> #include <inttypes.h> +#include <getopt.h> static void usage(char *argv[]) { |