moved to gitlab

[psensor.git] / scripts / smatch.sh

diff --git a/scripts/smatch.sh b/scripts/smatch.sh
deleted file mode 100755 (executable)
index 6b506ba..0000000
--- a/scripts/smatch.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/sh
-
-SMATCH_DIR=$HOME/soft/smatch
-
-SCRIPT_DIR=`dirname $0`
-
-cd $SCRIPT_DIR/..
-make clean
-make CHECK="$SMATCH_DIR/smatch --full-path" CC=$SMATCH_DIR/cgcc | tee warns.txt
\ No newline at end of file