From d9e17005aedcc38a9e1dec745cf22b594d5c4f43 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Sun, 21 Oct 2018 17:29:55 +0200 Subject: [PATCH] Fix duplicate trampoline counting bug in script. --- src/count_trampolines.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/count_trampolines.sh b/src/count_trampolines.sh index d1f447a..eae73c7 100755 --- a/src/count_trampolines.sh +++ b/src/count_trampolines.sh @@ -1,6 +1,6 @@ #!/bin/sh -make clean ; make 2>&1 |grep "warning: trampoline" > trampolines.out +make clean ; make 2>&1 |grep "warning: trampoline" | sort -u > trampolines.out cat trampolines.out echo wc -l trampolines.out