Changeset 142 for trunk/tools


Ignore:
Timestamp:
Nov 27, 2005, 10:38:41 PM (14 years ago)
Author:
bcornec
Message:

merge -r139:141 $SVN_M/branches/2.05
splint improvements (begin)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/tools/quality

    r121 r142  
    4646echo " "
    4747echo "Splint: "
    48 find . -name '*.c' -o -name '*.h' | xargs splint +posixlib -Dlinux
     48find . -name '*.c' -o -name '*.h' | xargs splint +gnuextensions +posixlib -Dlinux
    4949
    5050rm -f /tmp/mondo.quality
Note: See TracChangeset for help on using the changeset viewer.