Chore: Update gen-github-release.sh for usage and awk portability

Agoric · Sep 20, 2024 · b1a53c5 · b1a53c5
1 parent f29ecb3
commit b1a53c5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/MAINTAINERS.md b/MAINTAINERS.md
@@ -326,7 +326,7 @@ to pass and for reviewer approval.
 
   Generate a template:
   ```sh
-  ./scripts/gen-github-release.sh <release-label> > release.md
+  ./scripts/gen-github-release.sh {prerelease | latest} <release-label> > release.md
   ```
   Then replace the remaining `$`-prefixed placeholders, filling in
   the [_**validator oriented release description**_](#describe-the-release) and using

diff --git a/scripts/gen-github-release.sh b/scripts/gen-github-release.sh
@@ -59,7 +59,7 @@ declare -r AWK_REPLACE_PLACEHOLDERS='
   BEGIN {
     for (i = 1; i < ARGC; i++) {
       arg = ARGV[i];
-      if (!match(arg, /^[^/=]+=/)) continue;
+      if (!match(arg, "^[^/=]+=")) continue;
       placeholder = "$" substr(arg, 1, RLENGTH - 1);
       placeholders[placeholder] = 1;
       subs[placeholder] = substr(arg, RLENGTH + 1, length(arg) - RLENGTH);