Closed tammojan closed 5 years ago
Cool. What is your operating system and version of BASH?
macos 10.13.2, bash 3.2.57(1)
@tammojan Was this fixed for you?
Well, the option make no-singularity
disappeared, so at least I cannot reproduce it anymore. A normal make
works now.