diff -r daacd1a0408f -r edc4ecb3ef60 Makefile
--- a/Makefile	Wed Feb 25 13:47:29 2015 +0200
+++ b/Makefile	Wed Feb 25 13:47:56 2015 +0200
@@ -6,7 +6,7 @@
 ################################################################
 # Standard Makefile settings.
 
-SHELL = /bin/sh -x
+SHELL = /bin/sh
 export PATH := /bin:/usr/bin:${PATH}
 
 # Disable built in pattern rules.