-
- Downloads
There was a problem fetching the pipeline summary.
[bugfix] quote name of executable in `dune_add_test`
Thanks to @smuething for the hint. Note: This patch changes the semantics of the command. Up to now, the command was allowed to contain arguments (unless it was a target). With this patch, the arguments must be passed separately.
parent
d59623c8
Branches
Tags
Pipeline #
-
mentioned in commit d727f3e9
-
mentioned in merge request !367 (merged)
Please register or sign in to comment