Closes #1313 (closed)
Currently, the fix uses no command for executing if EXECUTABLE
is provided, resulting in the use of the shebang. Alternatively, one could use the provided executable substituting placeholders.
Closes #1313 (closed)
Currently, the fix uses no command for executing if EXECUTABLE
is provided, resulting in the use of the shebang. Alternatively, one could use the provided executable substituting placeholders.