Browse code

Make deprecated() output to stderr

So that it can be used by functions like _determine_config_server,
which is used like RESULT=$(_determine_config_server).

Change-Id: Ia4e641c5529b95ada30ae662221f370bc7fa88a7

YAMAMOTO Takashi authored on 2016/12/01 22:29:12
Showing 1 changed files
... ...
@@ -216,7 +216,7 @@ function die_if_not_set {
216 216
 function deprecated {
217 217
     local text=$1
218 218
     DEPRECATED_TEXT+="\n$text"
219
-    echo "WARNING: $text"
219
+    echo "WARNING: $text" >&2
220 220
 }
221 221
 
222 222
 # Prints line number and "message" in error format