diff options
author | Christian C <cc@localhost> | 2025-03-05 23:07:43 -0800 |
---|---|---|
committer | Christian C <cc@localhost> | 2025-03-05 23:07:43 -0800 |
commit | 58dd031fe24e9e9ad1c3b45537600455a931714b (patch) | |
tree | 304132161b932f7e2a410773f48f2b6ba667c12b | |
parent | c2a41f2c2e3593ae028f1a440d4066077b5fa261 (diff) |
Useful runners
-rw-r--r-- | README.md | 5 | ||||
-rwxr-xr-x | run.sh | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/README.md b/README.md new file mode 100644 index 0000000..1d394fa --- /dev/null +++ b/README.md @@ -0,0 +1,5 @@ +** Example Usage + +```sh +for file in data/HT-*/; do ./run.sh `basename $file`; done +``` @@ -0,0 +1,4 @@ +#!/bin/sh +SOURCE="$1" +mkdir -p output/${SOURCE} +./build/prog data/${SOURCE} output/${SOURCE}/${SOURCE}.bin output/${SOURCE}/${SOURCE}.png |