From cc7e6d237e0be31d6d77e1c0eadee3281a731127 Mon Sep 17 00:00:00 2001
From: Martin Diehl <mail@martin-diehl.net>
Date: Mon, 29 Apr 2019 10:18:39 +0200
Subject: [PATCH] options not needed

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 1e2f9db9f..b24e3d36b 100644
--- a/Makefile
+++ b/Makefile
@@ -8,13 +8,13 @@ all: grid mesh processing
 
 .PHONY: grid
 grid: build/grid
-	@(cd build/grid;make -j4 --no-print-directory -ws all install;)
+	@(cd build/grid;make -j4 all install;)
 .PHONY: spectral
 spectral: grid
 
 .PHONY: mesh
 mesh: build/mesh
-	@(cd build/mesh; make -j4 --no-print-directory -ws all install;)
+	@(cd build/mesh; make -j4 all install;)
 .PHONY: FEM
 FEM: mesh