empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Clean up a useless use of cat

Browse source
This commit is contained in:
Markus Armbruster 2011-01-15 13:46:43 +01:00
parent 37589489c6
commit c77db95fad
1 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/scripts/nightly/common.sh
View file

@ -27,8 +27,6 @@ runfeed() {
[ -n "$1" ] || { warn "INTERNAL ERROR: No coun/repr given ?" ; return 2 ; } [ -n "$1" ] || { warn "INTERNAL ERROR: No coun/repr given ?" ; return 2 ; }
REP="$2" REP="$2"
[ -n "$REP" ] || REP="$1" [ -n "$REP" ] || REP="$1"
{ ${EMPIRE_PATH}/empire "$1" "$REP" || { warn "empire not ok ?" ; return 1 ; }
cat
} | ${EMPIRE_PATH}/empire "$1" "$REP" || { warn "empire not ok ?" ; return 1 ; }
return 0 return 0
} }