From a1a0da197bc0c98f36098052a4bbaa6bd1e1846e Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Wed, 24 Aug 2016 08:02:48 +0200
Subject: [PATCH] enable C99 support

---
 hermit/tools/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hermit/tools/Makefile b/hermit/tools/Makefile
index 8fb5bc2ef..2551a9617 100644
--- a/hermit/tools/Makefile
+++ b/hermit/tools/Makefile
@@ -1,6 +1,6 @@
 MAKE = make
 CC = gcc
-CFLAGS = -O2 -Wall
+CFLAGS = -O2 -Wall -std=gnu99
 PROXYFILES = proxy init.sh $(shell find ../usr/tests ../usr/benchmarks ../usr/openmpbench -type f -executable)
 
 # Prettify output