diff options
author | Ulrich Bauer <mail@ulrich-bauer.org> | 2019-08-11 16:24:15 +0200 |
---|---|---|
committer | Ulrich Bauer <mail@ulrich-bauer.org> | 2019-08-11 16:24:53 +0200 |
commit | 93b0e7c84f936ad65152339af07c3ecbb2fd5a8a (patch) | |
tree | 6b4ea1e0d0f0fa2f3f290a58e98acde79a4b6ffe /benchmarks/extract-results.sh | |
parent | 670bdb1f5dbf5859708a078bde3f9a8fa5045faf (diff) |
benchmark moved to repository "ripser-benchmark"
Diffstat (limited to 'benchmarks/extract-results.sh')
-rw-r--r-- | benchmarks/extract-results.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/benchmarks/extract-results.sh b/benchmarks/extract-results.sh deleted file mode 100644 index a4d70b3..0000000 --- a/benchmarks/extract-results.sh +++ /dev/null @@ -1,5 +0,0 @@ -CID=$(docker create $1) -[ -d output ] && rm -r output -docker cp ${CID}:/benchmark output -docker rm ${CID} - |