1 files changed, 0 insertions, 28 deletions
diff --git a/collect-traces.sh b/collect-traces.sh
deleted file mode 100755
index 79d6c95..0000000
--- a/collect-traces.sh
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/bin/bash
-
-set -eu
-
-trace_type=$1
-
-d=$(mktemp -d)
-
-git apply ${trace_type}.patch
-
-for makefile in $(find crypto_aead -name Makefile)
-do
-    implem_dir=$(dirname ${makefile})
-    make -C ${implem_dir} clean
-
-    [[ ${implem_dir} =~ lilliputae(i|ii)([0-9]+)v ]]
-
-    ae_type=${BASH_REMATCH[1]}
-    keysize=${BASH_REMATCH[2]}
-    make -C ${implem_dir} ${trace_type}-${keysize}-${ae_type}
-    cp ${implem_dir}/results/traces*.txt ${d}
-done
-
-tar czf results/${trace_type}.tgz -C ${d} .
-
-rm -r ${d}
-
-git apply --reverse ${trace_type}.patch