commit 7e3862b8d4e563cc97f4994613ee9a75014cbaa2
parent f1b42a229fee826ba572d0c64a7f0cbce5073a8e
Author: Kyle Milz <kyle@0x30.net>
Date: Wed, 10 Aug 2016 00:46:44 -0600
src: make grep a bit more unique
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/check.in b/src/check.in
@@ -12,7 +12,7 @@ fi
[ -d $dir ] || err "$dir: no such directory"
GREP[1]="Found source file"
-GREP[2]="citrun-inst"
+GREP[2]="citrun-inst v"
GREP[3]="Forked "
GREP[4]="Instrumentation successful"
GREP[5]="And the native compile failed"