Browse Source

oops, stderr

K. Lange 2 years ago
parent
commit
8f2c0b60fa
2 changed files with 1 additions and 4 deletions
  1. 0 3
      util/check-reqs.sh
  2. 1 1
      util/prompt.sh

+ 0 - 3
util/check-reqs.sh

@@ -72,8 +72,5 @@ if ! cpp <(echo "#include \"mpc.h\"") >/dev/null 2>/dev/null; then
     RET=1
 fi
 
-echo "butts"
-RET=1
-
 exit $RET
 

+ 1 - 1
util/prompt.sh

@@ -2,7 +2,7 @@
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 
-if ! $DIR/check-reqs.sh; then
+if ! $DIR/check-reqs.sh >&2; then
     echo "A toolchain is not available and the above issues were found." >&2
     echo "Resolve the problems above and run \`make\` again." >&2
     echo -n "n" && exit 1