Nofib: Strip called without .exe extension resulting in errors.

...
==nofib== bernouilli: size of Main.o follows...
   text    data     bss     dec     hex filename
   8080    1632       0    9712    25f0 Main.o
==nofib== bernouilli: time to link bernouilli follows...
<<ghc: 27269080 bytes, 11 GCs, 471856/801256 avg/max bytes residency (2 samples), 32M in use, 0.000 INIT (0.000 elapsed), 0.016 MUT (1.134 elapsed), 0.016 GC (0.015 elapsed) :ghc>>
C:\ghc\msys64\mingw64\bin\strip.exe: 'bernouilli': No such file
make[2]: *** [../../mk/target.mk:96: size] Error 1
make[2]: Target 'all' not remade because of errors.
Finished making all in bernouilli: 0
...

I assume strip looks for a file, not an executable. And as such requires the full name "foo.exe" instead of just "foo".

Make sees this error and stops before the actual benchmark is run.

Trac metadata

Trac field	Value
Version	8.2.2
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	NoFib benchmark suite
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture