More repro scripting

repro/repro-all-dockers

@@ -0,0 +1,31 @@
+#!/bin/bash
+
+# Run a command on all three repro scripts
+
+# cd into the directory containing this script (from the bash faq 028)
+if [[ $BASH_SOURCE = */* ]]; then
+  cd -- "${BASH_SOURCE%/*}/" || exit
+fi
+
+# Duoram
+echo Running Duoram repro
+echo
+( cd ../Docker && echo "Starting Duoram dockers" && echo && \
+    ./start-docker && ./repro $* && echo "Stopping Duoram dockers" && \
+    echo && ./stop-docker ) || exit 1
+
+# Floram
+echo Running Floram repro
+echo
+( cd floram-docker && echo "Starting Floram dockers" && echo && \
+    ./start-docker && ./repro $* && echo "Stopping Floram dockers" && \
+    echo && ./stop-docker ) || exit 1
+
+# Circuit ORAM
+echo Running Circuit ORAM repro
+echo
+( cd circuit-oram-docker/docker && echo "Starting Circuit ORAM dockers" && \
+    echo && ./start-docker && ./repro $* && \
+    echo "Stopping Circuit ORAM dockers" && \
+    echo && ./stop-docker ) || exit 1
+