Merge pull request #85 from adrpo/RemoveQuotesForPathsIfTheyExist

remove quotes from paths and files if they exist.
lenaRB · May 8, 2024 · 0fb648b · 0fb648b
2 parents 6a3b19f + 853dd99
commit 0fb648b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/main/java/crml/compiler/CRMLC.java b/src/main/java/crml/compiler/CRMLC.java
@@ -85,13 +85,17 @@ public static void main( String[] args ) throws Exception {
       cs.referenceResFolder = cmd.verify;
 
     logger.trace("Output dir: " + cmd.outputDir);
+    // remove quotes if they exist
+    cmd.outputDir = cmd.outputDir.replace("\"", "");
 
     File out_dir = new File(cmd.outputDir);
     out_dir.mkdir();
 
     logger.trace("Directory for generated .mo files: [" + out_dir.getPath() + "] absolute path: [" + out_dir.getAbsolutePath() + "]");
 
     for(String f : cmd.files){
+       // remove quotes if they exist
+       f = f.replace("\"", "");
        String path = new File(f).getCanonicalPath();
        File file = new File ( path );
        String [] testFiles;