Building nofib/fibon returns permission denied

Building nofib/fibon returns permission denied:

== make boot - --no-print-directory;
 in /h/ywang30/nofib/fibon/Hackage/Bzlib
------------------------------------------------------------------------
//     Codec/Compression/BZip/Stream.hsc
make[3]: execvp: //: Permission denied
make[3]: *** [Codec/Compression/BZip/Stream.hs] Error 127

Steps to reproduce:

Edit nofib/mk/boilerplate.mk:35 to NoFibSubDirs = fibon

make clean && make boot in nofib/

Trac metadata

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