From 15725a02a13acb0378a0b223828f6c22b1ec07fd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Wed, 19 Apr 2017 11:04:26 +0200
Subject: [PATCH] Get a copy of the profiling script into the output directory

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

diff --git a/Makefile b/Makefile
index af69dce..e63e3ff 100644
--- a/Makefile
+++ b/Makefile
@@ -229,7 +229,7 @@ run: buildrepo $(EXECUTABLE)
 	arm-none-eabi-gdb -q -x klee_stm_gdb.py $(EXECUTABLE)
 
 bench: buildrepo $(EXECUTABLE)
-	make clean; make; make klee; make clean; make wcet; make run; python profiling_db_parser.py output/klee_profiling.db
+	make clean; make; make klee; make clean; make wcet; make run; cp profiling_db_parser.py output/; cd output; python profiling_db_parser.py klee_profiling.db;
 
 define make-repo
    for dir in $(SRCDIRS); \
-- 
GitLab