Skip to content

Commit

Permalink
Add repro case for #4401 (#5955)
Browse files Browse the repository at this point in the history
Signed-off-by: Etienne Millon <[email protected]>
  • Loading branch information
emillon authored Jul 18, 2022
1 parent eced559 commit a1553b2
Showing 1 changed file with 23 additions and 0 deletions.
23 changes: 23 additions & 0 deletions test/blackbox-tests/test-cases/github4401.t
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
When --ignore-promoted-rules is passed, rules marked `(promote (until-clean))`
are ignored. See #4401.

$ cat > dune-project << EOF
> (lang dune 3.0)
> EOF

$ echo foobar > reference

$ cat > dune << EOF
> (rule
> (mode (promote (until-clean)))
> (action (with-stdout-to test (run echo foobar))))
>
> (rule
> (alias runtest)
> (action (diff reference test)))
> EOF

$ dune runtest --ignore-promoted-rules
Error: No rule found for test
-> required by alias runtest in dune:5
[1]

0 comments on commit a1553b2

Please sign in to comment.