diff options
author | Keith Whitwell <[email protected]> | 2008-09-12 10:28:36 +0100 |
---|---|---|
committer | Keith Whitwell <[email protected]> | 2008-09-12 10:28:36 +0100 |
commit | 1f135456795adfb1d739a6fb66ab9540aa79b461 (patch) | |
tree | 25997e5e9db90561d71a568958335a2882a43c61 /progs/fp/run.sh | |
parent | af74abab6b9a1e32a1cc5cac7e547b953dcee0ab (diff) |
fp: put test name in window title, add run script
Diffstat (limited to 'progs/fp/run.sh')
-rwxr-xr-x | progs/fp/run.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/progs/fp/run.sh b/progs/fp/run.sh new file mode 100755 index 00000000000..480f8108a35 --- /dev/null +++ b/progs/fp/run.sh @@ -0,0 +1,7 @@ +#!/bin/sh + +for i in *.txt ; do +echo $i +./fp-tri $i +done + |