From f7a65674842a44c91ca5b5b3c14b88686402bc88 Mon Sep 17 00:00:00 2001
From: Carl Mai <carl.mai@tu-dresden.de>
Date: Wed, 5 Sep 2018 17:32:15 +0200
Subject: [PATCH] run_docker script

---
 run_docker.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 run_docker.sh

diff --git a/run_docker.sh b/run_docker.sh
new file mode 100755
index 000000000..77690678f
--- /dev/null
+++ b/run_docker.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+
+docker build -t trainbenchmark .
+docker run -it trainbenchmark
-- 
GitLab