Automated Code Analysis

checkbashisms analysis of matita_0.5.8-2.dsc

possible bashism in ./configure line 368 (should be >word 2>&1):
    $as_echo "$as_me:${as_lineno-$LINENO}: error: $1" >&$3
possible bashism in ./configure line 1961 (should be >word 2>&1):
  if OCAMLPATH=$OCAMLPATH $OCAMLFIND query $r &> /dev/null; then
possible bashism in ./components/hbugs/scripts/sabba.sh line 41 (should be >word 2>&1):
      nice -n 19 ./$tutor &> run/$tutor.log &
possible bashism in ./components/hbugs/scripts/brokerctl.sh line 9 (should be >word 2>&1):
   ./$daemon &> run/$daemon.log &

---