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: Jun 04 2023 at 19:30 UTC