search for: internalizeeverything

...ions are respected and the contents of the file merged with the items given with the -list option(s). I think it is very confusing for users to have commandline options ignored without any indication, especially when it is perfectly possibly to use all options. 2. There was an odd case, when InternalizeEverything was false and the -internalize-public-api-file was given but pointed to an empty or nonexistent file, the InternalizeEverything option would not be respected (ie, all globals except for main would still be internalized). This behaviour was also different from not specifying the -internali...