From bd51fb520c7af69f8eed068224811a3b481e15c0 Mon Sep 17 00:00:00 2001
From: dakkar <dakkar@thenautilus.net>
Date: Fri, 13 Jul 2018 10:02:04 +0100
Subject: import docker stuff

---
 docker-build | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 docker-build

(limited to 'docker-build')

diff --git a/docker-build b/docker-build
new file mode 100755
index 0000000..7ff5226
--- /dev/null
+++ b/docker-build
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+output="$1"
+shift
+
+exec docker run -ti \
+     -v "$(pwd)":/treble \
+     -v "$output":/treble_output \
+     -w /treble_output \
+     treble \
+     /bin/bash /treble/build.sh "$@"
-- 
cgit v1.2.3