diff options
| author | Chris Wilson <chris@chris-wilson.co.uk> | 2007-07-05 18:59:31 +0100 |
|---|---|---|
| committer | Chris Wilson <chris@chris-wilson.co.uk> | 2007-07-05 19:15:10 +0100 |
| commit | 5819be398c4eada9a6cfc8e37a532991751b4a51 (patch) | |
| tree | 3a5b3292b329a3b2627c9946da7e11ad247ba44e /src/check-plt.sh | |
| parent | 35ef8419a981929b65157407485ec001b69b3391 (diff) | |
[check-plt] Ignore entries for pixman.
pixman is now an external library, so we now expect PLT entries.
Diffstat (limited to 'src/check-plt.sh')
| -rwxr-xr-x | src/check-plt.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/check-plt.sh b/src/check-plt.sh index a441b7b7..0fdcf749 100755 --- a/src/check-plt.sh +++ b/src/check-plt.sh @@ -11,7 +11,7 @@ fi for so in .libs/lib*.so; do echo Checking $so for local PLT entries - readelf -r $so | grep 'JU\?MP_SLO' | grep 'cairo\|pixman' && status=1 + readelf -r $so | grep 'JU\?MP_SLO' | grep 'cairo' && status=1 done exit $status |