From: Markus Armbruster Date: Sat, 15 Jan 2011 12:46:43 +0000 (+0100) Subject: Clean up a useless use of cat X-Git-Tag: v4.3.27~167 X-Git-Url: http://git.pond.sub.org/?p=empserver;a=commitdiff_plain;h=c77db95fad1e36c13ed3a2996b723831d4870d0a Clean up a useless use of cat --- diff --git a/src/scripts/nightly/common.sh b/src/scripts/nightly/common.sh index 752f9fd33..e3b4a1ef8 100644 --- a/src/scripts/nightly/common.sh +++ b/src/scripts/nightly/common.sh @@ -27,8 +27,6 @@ runfeed() { [ -n "$1" ] || { warn "INTERNAL ERROR: No coun/repr given ?" ; return 2 ; } REP="$2" [ -n "$REP" ] || REP="$1" - { - cat - } | ${EMPIRE_PATH}/empire "$1" "$REP" || { warn "empire not ok ?" ; return 1 ; } + ${EMPIRE_PATH}/empire "$1" "$REP" || { warn "empire not ok ?" ; return 1 ; } return 0 }