add --workspace-path to build

Ellipsis-Labs · Oct 1, 2024 · 0eef55f · 0eef55f
1 parent cf4e175
commit 0eef55f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main.rs b/src/main.rs
@@ -55,6 +55,7 @@ enum SubCommand {
         /// Path to mount to the docker image
         mount_directory: Option<String>,
         /// Path to mount to the workspace root
+        #[clap(short, long="workspace-path")]
         workspace_directory: Option<String>,
         /// Which binary file to build (applies to repositories with multiple programs)
         #[clap(long)]