diff --git a/src/count_trampolines.sh b/src/count_trampolines.sh new file mode 100755 index 0000000..d1f447a --- /dev/null +++ b/src/count_trampolines.sh @@ -0,0 +1,7 @@ +#!/bin/sh + +make clean ; make 2>&1 |grep "warning: trampoline" > trampolines.out +cat trampolines.out +echo +wc -l trampolines.out +