From 5e4fd03a5dbdef407d5d6ae8ccf0f244ff027ff1 Mon Sep 17 00:00:00 2001 From: rtoy <rtoy> Date: Tue, 24 Jul 2007 20:38:26 +0000 Subject: [PATCH] Oops. Don't need set -x anymore. --- tools/make-main-dist.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/make-main-dist.sh b/tools/make-main-dist.sh index 06df905d8..581b8f500 100755 --- a/tools/make-main-dist.sh +++ b/tools/make-main-dist.sh @@ -1,6 +1,6 @@ #!/bin/sh -set -x +# set -x while getopts "G:O:bgh?" arg do case $arg in -- GitLab