From 36c2ea4a630fee8607599baab7d8a9dcd2f9ca53 Mon Sep 17 00:00:00 2001
From: Patrick Georgi <pgeorgi@google.com>
Date: Wed, 25 Nov 2020 16:24:05 +0000
Subject: [PATCH] util/pgtblgen: Improve compatibility

Fix build on Debian/jessie

Change-Id: I987e7a03441b40ab06ccd54a21e38aac81a1c28d
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/48004
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martinroth@google.com>
---
 util/pgtblgen/Makefile.inc | 2 +-
 util/pgtblgen/pgtblgen.c   | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/util/pgtblgen/Makefile.inc b/util/pgtblgen/Makefile.inc
index c4f3ef37b6fb..08fb6209e50b 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 640d0ba7be8a..7ed98b2825bd 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[])
 {