projects / brisk.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f4e640e)
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 patch | blob | history

diff --git a/INSTALL.sh b/INSTALL.sh
index a44e319..257d867 100755 (executable)
--- a/INSTALL.sh
+++ b/INSTALL.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-# set -x
+set -x
 #
 # Defaults
 #
Brisk - briscola chiamata in salsa Ajax: sources.