d9a196da2e
These scripts use /bin/ksh, but they're dirt simple and can be used with /bin/sh, so just change the shebang. Signed-off-by: Mike Frysinger <vapier@gentoo.org> |
||
---|---|---|
.. | ||
objdbg01 | ||
objdbg02 | ||
objdbg03 | ||
objdbg04 | ||
tools | ||
Makefile.in | ||
objdbg01.exp | ||
objdbg02.exp | ||
objdbg03.exp | ||
objdbg04.exp |