We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent ca02c3d commit dc3ff83Copy full SHA for dc3ff83
check/Makefile
@@ -74,7 +74,7 @@ endif
74
75
prepare:
76
dune build ..
77
- make -C ../examples build > /dev/null 2>&1
+ make -C ../examples build
78
79
check.$(EXT)$(EXE):
80
make -C src $@
0 commit comments