diff options
| author | aidanfnv <aidanf@nvidia.com> | 2025-07-11 14:57:38 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-11 21:57:38 +0000 |
| commit | 39f3c6c7701ed9d7edd5bfd8ee0adf99d2d658e0 (patch) | |
| tree | 41e0847c69c6439f145dee1e74b423c5fe3be0fe /.github | |
| parent | 1dc32b8bf8dd14e607d306c160b1bedf46067910 (diff) | |
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 <ellieh+slangbot@nvidia.com>
Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/check-cmdline-ref.yml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |