Ensure generated preprocessor option values don't override user-specified ones
eyalroz opened this issue · comments
At the moment, we use a simplistic map union between the user-specified and generated preprocessor options. For no-value options, that's fine, but for valued options we get overwrites. It's important that the generated values don't overwrite values coming from the command-line etc.
Fixed by redoing the commit which had fixed #68 when this problem was first brought up.