#!/bin/bash set -e echo -n "Testing $(basename -s .sh $0) ... " t=$(pwd)/tmp/$(basename -s .sh $0) mkdir -p $t cat < $t/log grep -q 'duplicate symbol: .*\.o: .*\.o: main' $t/log echo OK