]> mop.ddnsfree.com - git repositories - brisk.git/commitdiff
debug enabled
authorMatteo Nastasi (mop) <nastasi@alternativeoutput.it>
Mon, 29 Apr 2013 16:03:28 +0000 (18:03 +0200)
committerMatteo Nastasi (mop) <nastasi@alternativeoutput.it>
Mon, 29 Apr 2013 16:03:28 +0000 (18:03 +0200)
INSTALL.sh

index a44e319d521fdd81936c939e0143458da8bc20df..257d867bf908fe9d5646575cbcafe33644edf28b 100755 (executable)
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -x
+set -x
 #
 # Defaults
 #