diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2020-11-25 16:24:05 +0000 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2020-11-30 21:51:05 +0000 |
| commit | 36c2ea4a630fee8607599baab7d8a9dcd2f9ca53 (patch) | |
| tree | 03cc4f406fec87d49e3e1d3a7e771e1b35736eaa /util/pgtblgen/Makefile.inc | |
| parent | e2cb8696f0ea1522b256bcb3973c659c3cd76384 (diff) | |
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>
Diffstat (limited to 'util/pgtblgen/Makefile.inc')
| -rw-r--r-- | util/pgtblgen/Makefile.inc | 2 |
1 files changed, 1 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 |