Permalink
Browse files

Delete utils/splint.sh because splint is long dead and there's better…

… options these days.
  • Loading branch information...
Shawn Wagner
Shawn Wagner committed Mar 28, 2017
1 parent 9aca0d4 commit 1fd9d1208e76641f13612fdf74f4b97ea3274095
Showing with 0 additions and 17 deletions.
  1. +0 −17 utils/splint.sh
View
@@ -1,17 +0,0 @@
-#!/bin/sh
-
-# Wrapper script for checking Penn source with splint (http://www.splint.org)
-# Run from within the source directory.
-
-SFLAGS="-I.. -I../hdrs +posixlib -weak"
-
-# Disable assorted spurious warnings
-SFLAGS="$SFLAGS -nestcomment -fixedformalarray"
-SFLAGS="$SFLAGS -predbool -retvalother -unrecog"
-
-# Work around C99/GCC keywords splint doesn't understand
-SFLAGS="$SFLAGS -D__restrict= -Drestrict="
-
-echo "Using options: $SFLAGS"
-
-exec splint $SFLAGS $*

0 comments on commit 1fd9d12

Please sign in to comment.