projects / psensor.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Fixed restoration of the panel divider position.
[psensor.git] / scripts / smatch.sh
1 #!/bin/sh
2
3 SMATCH_DIR=$HOME/soft/smatch
4
5 SCRIPT_DIR=`dirname $0`
6
7 cd $SCRIPT_DIR/..
8 make clean
9 make CHECK="$SMATCH_DIR/smatch --full-path" CC=$SMATCH_DIR/cgcc | tee warns.txt
psensor