diff options
| -rwxr-xr-x | src/util/export-check.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/util/export-check.pl b/src/util/export-check.pl index ff2c6e0375..eaec7d6111 100755 --- a/src/util/export-check.pl +++ b/src/util/export-check.pl @@ -59,6 +59,10 @@ while (<NM>) { } @found = sort @found; while ($#export >= 0 && $#found >= 0) { + if ($#export >= 1 && $export[0] eq $export[1]) { + print STDERR "Duplicate symbol in export list: $export[0]\n"; + exit(1); + } if ($export[0] eq $found[0]) { # print "ok $export[0]\n"; shift @export; |