#!/bin/bash
if test -z "$COCCINELLE_HOME"; then export COCCINELLE_HOME="/usr/lib64/coccinelle"; fi
exec /usr/bin/spatch.bin "$@"
