#!/bin/sh ## get some parameters from the makefile srcdir=$1 top_builddir=$2 export SHELL srcdir top_builddir exec $3
