diff options
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} - |