improve no leak test case.
@@ -32,5 +32,13 @@ jobs:
cat sanity.txt
leaked=`grep "SUMMARY: AddressSanitizer:" sanity.txt | cut -d ' ' -f 3`
previous_leak=13000000
- if [ $leaked -gt $previous_leak ]; then echo "$leaked > $previous_leak"; exit 1; else echo "$leaked <= $previous_leak"; fi
+ if [ ! -z "$leaked" ]; then
+ if [ $leaked -gt $previous_leak ]; then
+ echo "$leaked > $previous_leak"; exit 1;
+ else
+ echo "$leaked <= $previous_leak";
+ fi
+ else
+ echo "No leaks detected"
+ fi
exit 0
\ No newline at end of file
