-
was set to soft, not softfp. This was changed to softfp today.
Oh interesting, I was thinking it already changed to softfp when we discussed it long time ago here https://github.com/gfwilliams/EspruinoCompiler/issues/10 so I was using it with my local changes all the time (as I use many boards that are not in the whitelist)
EDIT: softfp was already used for quite some time in main firmware https://github.com/espruino/Espruino/blob/255dbb036942c59c2e937d3c80c206d88586be79/ChangeLog#L282 then it briefly changed but was reverted https://github.com/espruino/Espruino/commit/42e336f4ac5613582ea582f15335527ea9dcd700
I was somehow thinking the inline C compiler already moved to softfp too, well, it is great it was finally done now :-)
It was set to soft, not softfp. This was changed to softfp today.
This is true...
... but this also changed today.