Automated Code Analysis

checkbashisms analysis of frama-c_20100401+boron+dfsg-5.dsc

possible bashism in ./configure line 367 (should be >word 2>&1):
    $as_echo "$as_me:${as_lineno-$LINENO}: error: $1" >&$3
possible bashism in ./configure line 6754 (sourced script with arguments):
      . ./configure --prefix=$prefix --datarootdir=$datarootdir \
        --exec_prefix=$exec_prefix --bindir=$bindir --libdir=$datadir/frama-c \
        --host=$host --build=$build --mandir=$mandir;
possible bashism in ./src/aorai/configure line 366 (should be >word 2>&1):
    $as_echo "$as_me:${as_lineno-$LINENO}: error: $1" >&$3
possible bashism in ./src/security_slicing/configure line 366 (should be >word 2>&1):
    $as_echo "$as_me:${as_lineno-$LINENO}: error: $1" >&$3
possible bashism in ./.pc/0006-OCamlgraph-1.5-is-compatible.patch/configure line 367 (should be >word 2>&1):
    $as_echo "$as_me:${as_lineno-$LINENO}: error: $1" >&$3
possible bashism in ./.pc/0006-OCamlgraph-1.5-is-compatible.patch/configure line 6752 (sourced script with arguments):
      . ./configure --prefix=$prefix --datarootdir=$datarootdir \
        --exec_prefix=$exec_prefix --bindir=$bindir --libdir=$datadir/frama-c \
        --host=$host --build=$build --mandir=$mandir;

---