From 39f3c6c7701ed9d7edd5bfd8ee0adf99d2d658e0 Mon Sep 17 00:00:00 2001 From: aidanfnv Date: Fri, 11 Jul 2025 14:57:38 -0700 Subject: Use stdout for --help text instead of stderr (#7730) * Use stdout for --help text instead of stderr * format code (#13) Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com> --------- Co-authored-by: slangbot Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com> --- .github/workflows/check-cmdline-ref.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '.github/workflows') diff --git a/.github/workflows/check-cmdline-ref.yml b/.github/workflows/check-cmdline-ref.yml index 3eb90599a..95aba65b7 100644 --- a/.github/workflows/check-cmdline-ref.yml +++ b/.github/workflows/check-cmdline-ref.yml @@ -43,7 +43,7 @@ jobs: - name: Generate command line reference run: | mkdir -p temp - "$bin_dir/slangc" -help-style markdown -h > temp/command-line-slangc-reference.md 2>&1 + "$bin_dir/slangc" -help-style markdown -h > temp/command-line-slangc-reference.md - name: Compare with existing reference id: compare @@ -51,6 +51,6 @@ jobs: if ! diff -q temp/command-line-slangc-reference.md docs/command-line-slangc-reference.md > /dev/null; then echo "Command line reference is out of date. Diff:" diff -u docs/command-line-slangc-reference.md temp/command-line-slangc-reference.md - echo "Please run 'slangc -help-style markdown -h > docs/command-line-slangc-reference.md 2>&1' or comment '/regenerate-cmdline-ref' on your PR." + echo "Please run 'slangc -help-style markdown -h > docs/command-line-slangc-reference.md' or comment '/regenerate-cmdline-ref' on your PR." exit 1 fi -- cgit v1.2.3