diff --git a/scripts/roadmap-check-ids.sh b/scripts/roadmap-check-ids.sh index e2cdd5aa..54b2afca 100755 --- a/scripts/roadmap-check-ids.sh +++ b/scripts/roadmap-check-ids.sh @@ -11,6 +11,7 @@ set -euo pipefail MIN_ID=723 ROADMAP="ROADMAP.md" +ROADMAP_PATH_SEEN=0 while [[ $# -gt 0 ]]; do case "$1" in @@ -31,7 +32,12 @@ while [[ $# -gt 0 ]]; do exit 2 ;; *) + if [[ "$ROADMAP_PATH_SEEN" -ne 0 ]]; then + echo "error: unexpected extra ROADMAP path: $1" >&2 + exit 2 + fi ROADMAP="$1" + ROADMAP_PATH_SEEN=1 shift ;; esac diff --git a/scripts/roadmap-next-id.sh b/scripts/roadmap-next-id.sh index 6f52c6e4..c3bf6502 100755 --- a/scripts/roadmap-next-id.sh +++ b/scripts/roadmap-next-id.sh @@ -18,6 +18,7 @@ set -euo pipefail ROADMAP="ROADMAP.md" +ROADMAP_PATH_SEEN=0 while [[ $# -gt 0 ]]; do case "$1" in @@ -30,7 +31,12 @@ while [[ $# -gt 0 ]]; do exit 2 ;; *) + if [[ "$ROADMAP_PATH_SEEN" -ne 0 ]]; then + echo "error: unexpected extra ROADMAP path: $1" >&2 + exit 2 + fi ROADMAP="$1" + ROADMAP_PATH_SEEN=1 shift ;; esac