diff --git a/perforate.sh b/perforate.sh index c3c7eee4ce27da37858bdc922f17487adadc0bc7..ba1fa374f4327c0925f1eb3aa6888bf451c57942 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() {