Skip to content

Support dune clean over RPC #15765

Description

@shonfeder

Expected Behavior

dune clean works when a watch server is running

Actual Behavior

$ dune clean
Error: A running dune (pid: 3600618) instance has locked the build directory.
If this is not the case, please delete "_build/.lock".
↳[1]

Metadata

Metadata

Assignees

No one assigned

    Labels

    rpcDune's RPC server and client supportwatch modeDune's watch mode — file watchers, change detection, build loop, RPC

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions