#!/bin/sh
NM="$1"
FILE="$2"
OUTPUT="$3"

"$NM" -g "$FILE" 2>/dev/null | grep ' [A-EG-TVX-Z] ' | grep -v '__x86' | sort | uniq -d > "$OUTPUT"
if [ -e "$OUTPUT" ] && [ -s "$OUTPUT" ]; then
    echo "Duplicate names in ${FILE}"
    cat "$OUTPUT"
    exit 1
fi
exit 0