-
Simon Marlow authored
Instead of trying to convert $(ALL_DIRS) into a colon-separated list of directories to pass to the compiler with -i, put each directory in its own -i option. This is more robust, the previous method was sensitive to extra spaces in the ALL_DIRS list. (should fix the current nightly breakage on the HEAD)
73d65fa7