diff options
Diffstat (limited to 'src/check-static-inits.sh')
| -rwxr-xr-x | src/check-static-inits.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/check-static-inits.sh b/src/check-static-inits.sh index 83d02c8..1446fa7 100755 --- a/src/check-static-inits.sh +++ b/src/check-static-inits.sh @@ -22,8 +22,8 @@ fi echo "Checking that no object file has static initializers" for obj in $OBJS; do - if objdump -t "$obj" | grep '[.]ctors'; then - echo "Ouch, $obj has static initializers" + if objdump -t "$obj" | grep '[.][cd]tors' | grep -v '\<00*\>'; then + echo "Ouch, $obj has static initializers/finalizers" stat=1 fi done |