checkbashisms analysis of coq_8.2.pl2+dfsg-1.dsc

possible bashism in ./tools/check-translate line 4 (should be >word 2>&1):
rm */*/*.v8 >& /dev/null
possible bashism in ./tools/check-translate line 15 (should be >word 2>&1):
  mkdir ../theories/`dirname $i` >& /dev/null

Go back to index

This report was generated on Thu, 16 Dec 2010 14:38:06 +0000, based on results by checkbashisms 2.10.65git5

Automated Code Analysis

checkbashisms analysis of coq_8.2.pl2+dfsg-1.dsc