From ef0568a1cae95b06715204fa1fc0b3bcab7b8763 Mon Sep 17 00:00:00 2001
From: Schaef <schaef@amazon.com>
Date: Thu, 25 Jan 2018 18:12:09 -0500
Subject: [PATCH] added setter for SrcFileString

---
 src/main/java/bixie/Options.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/main/java/bixie/Options.java b/src/main/java/bixie/Options.java
index d2e62e9..172800f 100644
--- a/src/main/java/bixie/Options.java
+++ b/src/main/java/bixie/Options.java
@@ -70,6 +70,11 @@ public String getJSONDir() {
 	@Option(name = "-src", usage = "List of all source files separated by colon, or list of root folders.")
 	private String srcFilesString=null;
 	private Set<String> sourceFiles = null;
+	public void setSrcFileString(String s) {
+		srcFilesString = s;
+		sourceFiles = null;
+		getSrcFilesString();
+	}
 	public Set<String> getSrcFilesString() {
 		if (srcFilesString!=null && sourceFiles==null) {
 			String[] files = srcFilesString.split(File.pathSeparator);