diff options
author | Johannes Stölp <johannes.stoelp@gmail.com> | 2020-10-04 12:40:32 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-04 12:40:32 +0200 |
commit | 750498b7b87e5189508e4d06b1ab3be970078f4e (patch) | |
tree | da019383f343ae0cc189cbeb57e833fdd0b99758 /docker/build.sh | |
parent | 6f09346f55ccfa91cf064408f985d7df490af1c1 (diff) | |
download | matcha-threads-750498b7b87e5189508e4d06b1ab3be970078f4e.tar.gz matcha-threads-750498b7b87e5189508e4d06b1ab3be970078f4e.zip |
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
Diffstat (limited to 'docker/build.sh')
-rwxr-xr-x | docker/build.sh | 4 |
1 files changed, 3 insertions, 1 deletions
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 |