From fc448a15465857fe36f2e9ffe6797cf78010bbee Mon Sep 17 00:00:00 2001 From: Simon Ruderich Date: Sun, 22 Jun 2014 16:11:46 +0200 Subject: [PATCH] bin/svalgrind-ptr: remove Unused. --- bin/svalgrind-ptr | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100755 bin/svalgrind-ptr diff --git a/bin/svalgrind-ptr b/bin/svalgrind-ptr deleted file mode 100755 index 5ef297b..0000000 --- a/bin/svalgrind-ptr +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/sh - -# Copyright (C) 2011-2012 Simon Ruderich -# -# This program is free software: you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program. If not, see . - - -exec valgrind --tool=exp-ptrcheck --error-exitcode=1 "$@" -- 2.44.1