]> granicus.if.org Git - re2c/commitdiff
Reduced verbosity level of the build script.
authorUlya Trofimovich <skvadrik@gmail.com>
Mon, 29 Jul 2019 15:15:47 +0000 (16:15 +0100)
committerUlya Trofimovich <skvadrik@gmail.com>
Mon, 29 Jul 2019 15:15:47 +0000 (16:15 +0100)
mk.sh

diff --git a/mk.sh b/mk.sh
index 076cb5ba344d56b9b0b68525dec3d05517a3293a..91f22ac7317f4a0d9f016783c77327fd6a4c662c 100755 (executable)
--- a/mk.sh
+++ b/mk.sh
@@ -1,4 +1,4 @@
-#!/bin/sh -x
+#!/bin/sh
 
 # sync with master (pull manpage files)
 remote=`git config branch.master.remote` \