Merge pull request #69370 from chkno/no-extra-flags

makeWrapper: Remove unused extraFlagsArray feature
This commit is contained in:
Robin Gloster
2019-10-09 01:32:28 +02:00
committed by GitHub
5 changed files with 5 additions and 12 deletions
+1 -1
View File
@@ -9,4 +9,4 @@ fi
initString+="]}}"
exec -a "$0" "@out@/bin/@wrapped@" "${initString}" "${extraFlagsArray[@]}" "$@"
exec -a "$0" "@out@/bin/@wrapped@" "${initString}" "$@"