From dd3db4d3b0892e5bf7abdd5fdab9f27f16cccc80 Mon Sep 17 00:00:00 2001
From: Daniel Maier <daniel.maier@tu-berlin.de>
Date: Thu, 11 Oct 2018 14:21:31 +0200
Subject: [PATCH] perforate.sh: use perf2
---
perforate.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/perforate.sh b/perforate.sh
index c3c7eee..ba1fa37 100755
--- a/perforate.sh
+++ b/perforate.sh
@@ -1,7 +1,7 @@
#!/bin/sh
CLAN=/home/daniel/polyhedral_perforation/clan-0.8.0/clan
-PERF=./build/perf
+PERF=./build/perf2
CLOOG=/home/daniel/polyhedral_perforation/pluto/cloog-isl/cloog
usage() {
--
GitLab