if [ $# -gt 0 ]; then
# compare to given reference
if [ "$1" != "$signature" ]; then
- if [ "x$1" == "x" ]; then
+ if [ -z "$signature" ]; then
echo "No signature obtained from bench. Code crashed or assert triggered ?"
else
echo "signature mismatch: reference $1 obtained: $signature ."