From bd1a4bf69472e5ae9f9784cdd5a309be5fd1f895 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 28 Aug 2016 06:42:04 +0200
Subject: [PATCH] enable architecture dependent optimization for the proxy

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

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