From 7b29911d8389e8bfb8302cfd11f3ab1c795ba3fb Mon Sep 17 00:00:00 2001
From: Clara Daia Hilgenberg Daru <cdhd12@inf.ufpr.br>
Date: Thu, 15 Sep 2016 09:18:56 -0300
Subject: [PATCH] Update README.md with PRINT_JSON option

---
 README.md | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 024adac4..ceb72a22 100644
--- a/README.md
+++ b/README.md
@@ -58,6 +58,11 @@ at something that was already corrected, run
 inside the `build` directory and cmake again.
 
 ### building and compiling ###
-As above.
+When compiling and executing the agent locally, in order to see the resulting
+JSON objects, run cmake with the option `PRINT_JSON`
 
-TODO: add DEBUG or DEV option.
+	$ cmake -DPRINT_JSON=ON ..
+
+You may also set the `Debug` flag if using gdb
+
+    $ cmake -DCMAKE_BUILD_TYPE=Debug -DPRINT_JSON=ON ..
-- 
GitLab