-
Ben Avison authored
In the cross-compiling case, `!Common.sh` explicitly sets the tool options (analogous to the `ToolOptions` obey file from `RiscOS.Library` that's run by `!Common` in the native build case). However, the change in Library-1_76 (from way back in 2015) to add `Machine=RPi` was never reflected in `!Common.sh` until now.
1574cdc6