Improve O2 command generation

Author: vkucera

codeHF/workflows.yml

@@ -8,7 +8,7 @@ options:
     - "--resources-monitoring 2"
   local:  # used for every workflow
     - "-b"
-    - "--configuration json://$JSON"
+    - "--configuration json://\"$JSON\""
     # - "--min-failure-level error"
 
 workflows:

exec/make_command_o2.py

@@ -291,8 +291,8 @@ def main():
         command += "| \\\n" + string_wf + " "
     if not command:
         msg_fatal("Nothing to do!")
-    # Remove the leading "| \\\n".
-    command = command[4:]
+    # Remove the leading "| \\\n" and the trailing " ".
+    command = command[4:-1]
     # Append performance profiling options.
     if perf:
         opt_perf = "perf record -F 99 -g --call-graph dwarf --user-callchains"