Skip to content

Commit

Permalink
test(pkg): duplicate repository definition (#9323)
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

<!-- ps-id: 1bc7040d-5b12-45e8-be54-78aefa4ac5ae -->
  • Loading branch information
rgrinberg authored Dec 4, 2023
1 parent 5e35e24 commit 9c41108
Showing 1 changed file with 17 additions and 0 deletions.
17 changes: 17 additions & 0 deletions test/blackbox-tests/test-cases/pkg/duplicate-repositories.t
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
Duplicate repository definition in the same workspace file:

$ cat >dune-workspace <<EOF
> (lang dune 3.11)
> (repository
> (name foo)
> (source "git+file//$PWD/foo"))
> (repository
> (name foo)
> (source "git+file//$PWD/foo"))
> EOF

$ dune pkg outdated 2>&1 | awk '/Internal error/,/Raised/'
Internal error, please report upstream including the contents of _build/log.
Description:
("Map.of_list_exn", { key = "foo" })
Raised at Stdune__Code_error.raise in file

0 comments on commit 9c41108

Please sign in to comment.