From e0fb33fbedda6c7dddfd0bd62a670a5e3594cab1 Mon Sep 17 00:00:00 2001
From: Nguyen Anh Quynh <aquynh@gmail.com>
Date: Thu, 19 May 2016 15:11:42 +0800
Subject: [PATCH] add some instructions on 'debug' option of make-*sh

---
 make-lib.sh   | 1 +
 make-share.sh | 1 +
 2 files changed, 2 insertions(+)

diff --git a/make-lib.sh b/make-lib.sh
index 5999815..762a512 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 1b3ae7d..2de2f62 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
-- 
GitLab