#!/bin/bash

pushd /usr/share/coccinella | exit -1
/usr/bin/wish8.5 /usr/share/coccinella/Coccinella.tcl "$@"
popd
