#!/bin/sh # Generate the gen-src.mk makefile fragment, to stdout. # Usage: gentools_dir=$1 gentools_srcdir=$2 wildcard() { echo `ls $* 2>/dev/null` ; } cat <