diff options
author | Justin Wernick <justin@worthe-it.co.za> | 2022-04-19 21:27:56 +0200 |
---|---|---|
committer | Justin Wernick <justin@worthe-it.co.za> | 2022-04-19 21:27:56 +0200 |
commit | 3f5492b2bb67326be43cd7c5ba02ccf0ba1ae0e3 (patch) | |
tree | 96963ba885a9393106b4a88ffc4266203e87582e /tests/import-replay.sh | |
parent | 4ceec65b088f05d4ad03f9ac70b1d63452fd8197 (diff) |
Refile for merging repos
Diffstat (limited to 'tests/import-replay.sh')
-rwxr-xr-x | tests/import-replay.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/tests/import-replay.sh b/tests/import-replay.sh deleted file mode 100755 index 216c235..0000000 --- a/tests/import-replay.sh +++ /dev/null @@ -1,12 +0,0 @@ -#/bin/sh - -# $1: The match-log directory -# Should be run from the tests directory. - -logname=$(basename $1) - -mkdir replays/$logname -cp $1/A*.csv replays/$logname/A-log.csv -cp $1/B*.csv replays/$logname/B-log.csv -cp $1/Round\ 001/A*/JsonMap.json replays/$logname/A-init.json -cp $1/Round\ 001/B*/JsonMap.json replays/$logname/B-init.json |