Send error message to stderr

Updates: commit 6a0a1f4a9808a0e6dd53e80b1d118c1e90baa3ac

diff --git a/Goalfile b/Goalfile
index cc0d259..3be286d 100644 (file)
--- 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.