diff options
Diffstat (limited to 'src/tools/find_static')
| -rwxr-xr-x | src/tools/find_static | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/find_static b/src/tools/find_static index 1cc9ec3b3dc..b75930251d9 100755 --- a/src/tools/find_static +++ b/src/tools/find_static @@ -2,7 +2,7 @@ # src/tools/find_static -trap "rm -f /tmp/$$" 0 1 2 3 15 +trap "ret=$?; rm -rf /tmp/$$; exit $ret" 0 1 2 3 15 # This script finds functions that are either never called, or # should be static. |