diff --git a/Makefile b/Makefile index 42337e8..205245a 100644 --- a/Makefile +++ b/Makefile @@ -63,7 +63,7 @@ uninstall: @rmdir $(MANUAL_DIR) docker-run: docker-build - docker run --rm=true --name $(DOCKER_CONTAINER) -i -t -v `pwd`:/data $(DOCKER_IMAGE) /data/build.sh + docker run --rm=true --name $(DOCKER_CONTAINER) -i -t -v `pwd`:/data $(DOCKER_IMAGE) make docker-build: docker build -t $(DOCKER_IMAGE) . diff --git a/build.sh b/build.sh deleted file mode 100755 index 34b256c..0000000 --- a/build.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -set -xe -make all