2020-12-23 09:16:29 +01:00
|
|
|
#!/bin/bash
|
2021-01-15 16:47:49 +01:00
|
|
|
set -e
|
2020-12-23 09:16:29 +01:00
|
|
|
|
|
|
|
|
if [ "$#" -ne 1 ]; then
|
|
|
|
|
echo "Expected build log as argument"
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if grep -q 'LEAK:' $1 ; then
|
|
|
|
|
echo "Leak detected, please inspect build log"
|
|
|
|
|
exit 1
|
|
|
|
|
else
|
|
|
|
|
echo "No Leak detected"
|
|
|
|
|
exit 0
|
|
|
|
|
fi
|
|
|
|
|
|
