From 750498b7b87e5189508e4d06b1ab3be970078f4e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Johannes=20St=C3=B6lp?= <johannes.stoelp@gmail.com>
Date: Sun, 4 Oct 2020 12:40:32 +0200
Subject: Enable ci (#1)

* added github push/pull_request action to build and run the demo1 example

* gh action print start header before running each example
---
 docker/build.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'docker')

diff --git a/docker/build.sh b/docker/build.sh
index 3b374e6..e40b83d 100755
--- a/docker/build.sh
+++ b/docker/build.sh
@@ -3,7 +3,9 @@
 
 image=${1:-match-box}
 
-if ! docker build -t $image . ; then
+script_dir=$(readlink -f $(dirname $0))
+
+if ! docker build -t $image $script_dir ; then
     echo "ERR: Failed to build docker image!"
     exit 1
 fi
-- 
cgit v1.2.3