Skip to content
GitLab
Explore
Sign in
Build solution01-* already during `make all`
Code
Review changes
Check out branch
Download
Patches
Plain diff
Dr. Jorrit Fahlke
requested to merge
build-solution01-in-make-all
into
master
Jun 05, 2019
Overview
0
Commits
2
Pipelines
2
Changes
1
Expand
This means we need to override
dune_add_test()
s decision to exclude it from all.
Merge request reports