Skip to content

Commit

Permalink
Template: no need to generate a dune.server file
Browse files Browse the repository at this point in the history
  • Loading branch information
vouillon committed Dec 5, 2023
1 parent b0b7e08 commit a0d79f2
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions template.distillery/Makefile.os
Original file line number Diff line number Diff line change
Expand Up @@ -176,8 +176,7 @@ opt:: gen-dune
make config-files PROJECT_NAME=$(PROJECT_NAME)

gen-dune:
@ocaml tools/gen_dune.ml --server > dune.server
@ocaml tools/gen_dune.ml --client > client/dune.client
@ocaml tools/gen_dune.ml > client/dune.client

##----------------------------------------------------------------------

Expand Down

0 comments on commit a0d79f2

Please sign in to comment.