#!/bin/sh

## get some parameters from the makefile

srcdir=$1
top_builddir=$2
export SHELL srcdir top_builddir

exec $3