From 7119720e6fc6d65ad41fad3bedc6bf4940975bb0 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 24 Jan 2023 13:04:22 +0000 Subject: [PATCH] Send error message to stderr Updates: commit 6a0a1f4a9808a0e6dd53e80b1d118c1e90baa3ac --- Goalfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Goalfile b/Goalfile index cc0d259..3be286d 100644 --- a/Goalfile +++ b/Goalfile @@ -229,7 +229,7 @@ pure function get-source-packages () returning strings = { # Check that all spec files have disabled the broken # "package notes" misfeature. if ! grep -sq "%%undefine _package_note_flags" $spec ; then - echo "ERROR: $pkg does not %%undefine _package_note_flags" + echo "ERROR: $pkg does not %%undefine _package_note_flags" >&2 exit 1 fi # OK to rebuild this package. -- 1.8.3.1