I am trying to run make -f Makefile.dune test-suite
and it all seems to be going well until this here happens:
GEN output/MExtraction.out
/bin/sh: 1: cannot create output/MExtraction.out: Permission denied
Is this a known problem? I couldn't find anything on the bug tracker.
I don't know how widely known this is but FTR I get the same failure.
Yes, there is a bug open for this; the fix is easy, actually let me submit it right now
Sorry for the dealy
@Janno should be better now, let us know if there are further problems
Last updated: Oct 13 2024 at 01:02 UTC