diff options
-rwxr-xr-x | buildtools/scripts/abi_gen.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/buildtools/scripts/abi_gen.sh b/buildtools/scripts/abi_gen.sh index d563fb8533..ed6f445519 100755 --- a/buildtools/scripts/abi_gen.sh +++ b/buildtools/scripts/abi_gen.sh @@ -16,5 +16,6 @@ nm "$SHAREDLIB" | cut -d' ' -f2- | egrep '^[BDGTRVWS]' | grep -v @ | cut -c3- | done ) > $GDBSCRIPT -gdb -batch -x $GDBSCRIPT "$SHAREDLIB" < /dev/null +# forcing the terminal avoids a problem on Fedora12 +TERM=none gdb -batch -x $GDBSCRIPT "$SHAREDLIB" < /dev/null rm -f $GDBSCRIPT |