From ebb8ed7347c143ab605227a0b01ad6044a898abb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Javier=20Fernandez-Sanguino=20Pe=C3=B1a?= Date: Tue, 5 Oct 2010 23:53:31 +0000 Subject: Error should be sent to stderr --- build/buildone.sh | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/build/buildone.sh b/build/buildone.sh index f10f48071..4b5607bec 100755 --- a/build/buildone.sh +++ b/build/buildone.sh @@ -60,7 +60,7 @@ create_profiled () { # Now we source the profiling information for the selected architecture [ -f "arch-options/${arch}" ] || { - echo "Error: unknown architecture '$arch'" + echo "Error: unknown architecture '$arch'" >&2 return 1 } . arch-options/$arch @@ -257,7 +257,7 @@ rm -rf $tempdir rm -rf $destdir [ -d "$manual_path/$language" ] || { - echo "Error: unknown language '$language'" + echo "Error: unknown language '$language'" >&2 exit 1 } @@ -287,7 +287,7 @@ for format in $formats ; do pdf) create_pdf;; txt) create_text;; *) - echo "Error: format $format unknown or not yet supported!" + echo "Error: format $format unknown or not yet supported!" >&2 exit 1 ;; esac @@ -299,14 +299,14 @@ for format in $formats ; do ;; 9) BUILD_FAIL="$BUILD_FAIL $format" - echo "Error: build of $format failed because of missing build dependencies" + echo "Error: build of $format failed because of missing build dependencies" >&2 if [ "$format" = "pdf" ] ; then - echo "Error: (make sure you have ghostscript, openjade and jadetex installed for PDF builds)" + echo "Error: (make sure you have ghostscript, openjade and jadetex installed for PDF builds)" >&2 fi ;; *) BUILD_FAIL="$BUILD_FAIL $format" - echo "Error: build of $format failed with error code $RET" + echo "Error: build of $format failed with error code $RET" >&2 ;; esac done -- cgit v1.2.3