diff --git a/make-lib.sh b/make-lib.sh index 599981535665598c30dd255439cfc7f28dd1633d..762a5122191fb563237b63e94473cc35eccd0095 100755 --- a/make-lib.sh +++ b/make-lib.sh @@ -1,5 +1,6 @@ #!/bin/sh -ex +# Run this with "debug" option to compile Keystone with debug info if [ -n "$1" ] then # compile with DEBUG option diff --git a/make-share.sh b/make-share.sh index 1b3ae7df32c175de699a44b1f73e3beacc5074e1..2de2f625f109ca29723444b6ea4c49b101d8f539 100755 --- a/make-share.sh +++ b/make-share.sh @@ -1,5 +1,6 @@ #!/bin/sh -xe +# Run this with "debug" option to compile Keystone with debug info if [ -n "$1" ] then # compile with DEBUG option