-
Bug
-
Resolution: Fixed
-
P3
-
None
-
None
-
b13
We do not use the "FOO+=appended" syntax for appending to variables in shell scripts, since this differs from what you'd expect (and what make produces) in that no space is added before the appended text.
Instead, we use the longer, but clearer "FOO=$FOO appended".