Skip to content

Commit 1e2c43c

Browse files
magerstamCopilot
andauthored
Update scripts/cleanup_workspace
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
1 parent cfcb8fd commit 1e2c43c

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

scripts/cleanup_workspace

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -58,10 +58,20 @@ usage() {
5858
while [[ $# -gt 0 ]]; do
5959
case $1 in
6060
--workspace-dir)
61+
if [[ $# -lt 2 ]]; then
62+
echo "Error: --workspace-dir requires a value"
63+
usage
64+
exit 1
65+
fi
6166
WORKSPACE_DIR="$2"
6267
shift 2
6368
;;
6469
--max-umount-passes)
70+
if [[ $# -lt 2 ]]; then
71+
echo "Error: --max-umount-passes requires a value"
72+
usage
73+
exit 1
74+
fi
6575
MAX_UMOUNT_PASSES="$2"
6676
shift 2
6777
;;

0 commit comments

Comments
 (0)