X-Git-Url: https://git.wpitchoune.net/gitweb/?p=psensor.git;a=blobdiff_plain;f=scripts%2Fsmatch.sh;fp=scripts%2Fsmatch.sh;h=0000000000000000000000000000000000000000;hp=6b506ba076de3a6965c20dede8ffd12c48dbc125;hb=121f640200ae18b067582f57a48d6133c8b1e1ff;hpb=c1e20f2631a1249720e9c75d753eacfcb0f6c7b9

diff --git a/scripts/smatch.sh b/scripts/smatch.sh
deleted file mode 100755
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