no more need for build.sh
This commit is contained in:
parent
349997b828
commit
4407bf2777
2 changed files with 1 additions and 4 deletions
2
Makefile
2
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) .
|
||||
|
|
3
build.sh
3
build.sh
|
@ -1,3 +0,0 @@
|
|||
#!/bin/sh
|
||||
set -xe
|
||||
make all
|
Loading…
Reference in a new issue