Changing the optimization level of the compiler from the default "-O2"when selecting a given board (Pic32) is not 'seen' by the makefile. The selected option is listed correctly in the logfile, but is not correct in the makefile as evidenced from stdout.
Workaround: selecting the relevant board and optimisation level prior to loading the sketch seems to result in normal behaviour.
Changing the optimization level of the compiler from the default "-O2"when selecting a given board (Pic32) is not 'seen' by the makefile. The selected option is listed correctly in the logfile, but is not correct in the makefile as evidenced from stdout. Workaround: selecting the relevant board and optimisation level prior to loading the sketch seems to result in normal behaviour.