X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=INSTALL.sh;h=257d867bf908fe9d5646575cbcafe33644edf28b;hb=a181147d8e5abbdeaa003e94aa89d4de540762de;hp=a44e319d521fdd81936c939e0143458da8bc20df;hpb=f4e640e3040cccba5e0f0b0d1e58f8fcc884ad50;p=brisk.git

diff --git a/INSTALL.sh b/INSTALL.sh
index a44e319..257d867 100755
--- a/INSTALL.sh
+++ b/INSTALL.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-# set -x
+set -x
 #
 # Defaults
 #