Makefile
changeset 1263 edc4ecb3ef60
parent 1262 daacd1a0408f
child 1264 49032c3d9007
--- 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.