lukem 857ab1bdd0 use ${HOST_SH} instead of /bin/sh		2003-10-26 03:50:07 +00:00
..
Makefile	use ${HOST_SH} instead of /bin/sh	2003-10-26 03:50:07 +00:00
contextinput	…
contextinput1	…
greptests.sh	…
input	…
negativeinput	…
test1.gnu.out	…
test2.gnu.out	…
test3.gnu.out	…
test4.gnu.out	…
test5.gnu.out	…
test6a.gnu.out	…
test6b.gnu.out	…
test7.gnu.out	…
test8.gnu.out	…
test9.gnu.out	…
test11a.gnu.out	…
test11b.gnu.out	…
test11c.gnu.out	…
test11d.gnu.out	…
test13.gnu.out	…
test14.gnu.out	…
test16a.gnu.out	…
test16b.gnu.out	…
test16c.gnu.out	…