1 files changed, 0 insertions, 2 deletions

diff --git a/mkh.sh b/mkh.sh
index 7320f549..4f50c73f 100755
--- a/mkh.sh
+++ b/mkh.sh
@@ -1,7 +1,5 @@
 #!/bin/sh
 
-set -x
-
 TOPDIR=$(dirname $0)
 if [ -z "${INCDIR}" ]; then
 	INCDIR="${TOPDIR}/include"