From 4407bf2777780c96538534b8a91b85990321a05e Mon Sep 17 00:00:00 2001
From: Walter Schulze <awalterschulze@gmail.com>
Date: Sat, 27 Jun 2015 12:33:01 +0200
Subject: [PATCH] no more need for build.sh

---
 Makefile | 2 +-
 build.sh | 3 ---
 2 files changed, 1 insertion(+), 4 deletions(-)
 delete mode 100755 build.sh

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