diff --git a/src/count_trampolines.sh b/src/count_trampolines.sh
index eae73c7..91a566f 100755
--- a/src/count_trampolines.sh
+++ b/src/count_trampolines.sh
@@ -1,7 +1,11 @@
-#!/bin/sh
+#!/bin/bash
 
-make clean ; make 2>&1  |grep "warning: trampoline" | sort -u > trampolines.out
-cat trampolines.out
+TMP1="trampolines-raw.out"
+TMP2="trampolines.out"
+
+make clean ; make 2>$TMP1
+cat $TMP1 | grep "warning: trampoline" | sort -u > $TMP2
+cat $TMP2
 echo 
-wc -l trampolines.out
+wc -l $TMP2