Automated Code Analysis

checkbashisms analysis of mcrl2_201007~rc1-1.dsc

possible bashism in ./configure line 4730 (should be >word 2>&1):
  if $FLEX -I -o/dev/null build/autoconf/test.l &> /dev/null; then
possible bashism in ./configure line 4736 (should be >word 2>&1):
    if $CXX -c test.cpp -o /dev/null &> /dev/null; then
possible bashism in ./configure line 4796 (should be >word 2>&1):
  if $BISON build/autoconf/test.y -o/dev/null &> /dev/null; then
possible bashism in ./configure line 4802 (should be >word 2>&1):
    if $CXX -c test.cpp -o /dev/null &> /dev/null; then

---