From 2dc9cef8f7bcc29a968250b0939cd3405ac50057 Mon Sep 17 00:00:00 2001
From: Doni Pracner <quinnuendo@gmail.com>
Date: Wed, 8 Jan 2014 17:34:35 +0100
Subject: [PATCH] mjc2wsl - more command line options

---
 src/mjc2wsl.java | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/mjc2wsl.java b/src/mjc2wsl.java
index 552fe9d..8425314 100644
--- a/src/mjc2wsl.java
+++ b/src/mjc2wsl.java
@@ -533,6 +533,13 @@ public class mjc2wsl{
 					printLevel = M_ERR+1;//no printing				
 				} else if (args[i].compareToIgnoreCase("--genEStackPrint") == 0) {
 					genPrintEStackOnChange = true;
+				} else if (args[i].compareToIgnoreCase("--genAddrPause") == 0) {
+					genPauseAfterEachAddress = true;
+				} else if (args[i].compareToIgnoreCase("--genAddrPrint") == 0) {
+					genPrintForEachAddress = true;
+				} else if (args[i].compareToIgnoreCase("--genAddr") == 0) {
+					genPrintForEachAddress = true;
+					genPauseAfterEachAddress = true;
 				} else if (args[i].compareToIgnoreCase("--genAll") == 0) {
 					genPrintEStackOnChange = true;
 					genPrintForEachAddress = true;
-- 
2.25.1