diff options
author | Philip Chimento <philip.chimento@gmail.com> | 2019-12-19 18:09:45 -0500 |
---|---|---|
committer | Philip Chimento <philip.chimento@gmail.com> | 2019-12-19 18:13:23 -0500 |
commit | bc85061a94c27edf8d919cd9a41e81db53f79068 (patch) | |
tree | afefd36e9ddecd2fb3a5cef90be9dbcfbcc218f1 | |
parent | 010c21763220d69d107668708a81eb85eb927be9 (diff) |
scripts: Escape plugin options with -Xanalyzer
This seems to be necessary since -plugin-arg-tartan is an analyzer
option.
-rwxr-xr-x | scripts/tartan | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/tartan b/scripts/tartan index 3dcf012..ba6cbcf 100755 --- a/scripts/tartan +++ b/scripts/tartan @@ -149,6 +149,12 @@ if [ "$escape_plugin_flags" = "1" ]; then _add_plugin+=( "-Xanalyzer" "$arg" ) done add_plugin=( "${_add_plugin[@]}" ) + + _plugin_options=() + for arg in "${plugin_options[@]}"; do + _plugin_options+=( "-Xanalyzer" "$arg" ) + done + plugin_options=( "${_plugin_options[@]}") fi if [ "$include_plugin_flags" = "1" ]; then |