Skip to content

Commit

Permalink
test: show crash when defining a context named "install"
Browse files Browse the repository at this point in the history
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
  • Loading branch information
anmonteiro committed Apr 30, 2024
1 parent 69a24a4 commit 1e597b0
Showing 1 changed file with 26 additions and 0 deletions.
26 changes: 26 additions & 0 deletions test/blackbox-tests/test-cases/workspaces/custom-context-names.t
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@

$ cat > dune-workspace << EOF
> (lang dune 3.13)
> (context default)
> (context
> (default
> (name log)))
> EOF

$ dune build
File "dune-workspace", line 5, characters 8-11:
5 | (name log)))
^^^
Error: "log" is an invalid context name.
[1]

$ cat > dune-workspace << EOF
> (lang dune 3.13)
> (context default)
> (context
> (default
> (name install)))
> EOF
$ dune build 2>&1 | grep "must not crash"


0 comments on commit 1e597b0

Please sign in to comment.