bin/*: Use exec to prevent unnecessary shell processes.

[config/dotfiles.git] / bin / svalgrind-ptr

diff --git a/bin/svalgrind-ptr b/bin/svalgrind-ptr
index 29eaa35ed3ea0a94b9d52bcba2c63f27a9126ee1..5ef297b8195d5903409b70ec0cec232123cfab32 100755 (executable)
--- a/bin/svalgrind-ptr
+++ b/bin/svalgrind-ptr
@@ -16,4 +16,4 @@
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 
-valgrind --tool=exp-ptrcheck --error-exitcode=1 "$@"
+exec valgrind --tool=exp-ptrcheck --error-exitcode=1 "$@"