From e8cc9871862114f4ac3af9e4ffe8910961349acd Mon Sep 17 00:00:00 2001
From: Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de>
Date: Wed, 22 Oct 2014 19:02:47 +0200
Subject: [PATCH] Makefile: overwrite pilots in all cases

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

diff --git a/Makefile b/Makefile
index 36b863b..381a576 100644
--- a/Makefile
+++ b/Makefile
@@ -36,7 +36,7 @@ import-%: %/trace.pb
 	import-trace -t $<  -i ElfImporter --objdump objdump -e $(shell dirname $<)/system.elf -v $(shell dirname $<) -b mem
 	import-trace -t $<  -i ElfImporter --objdump objdump -e $(shell dirname $<)/system.elf -v $(shell dirname $<) -b regs
 
-	prune-trace -v $(shell dirname $<) -b %%
+	prune-trace -v $(shell dirname $<) -b %% --overwrite
 
 server-%:
 	generic-experiment-server -v $(subst server-,,$@) -b %