#!/bin/sh

# $1: name of the MAKE program to use
# $2: directory where system-dependent makefiles are.
# $3: name of the file where the database is to be stored

cd $2

echo "%%% DO NOT EDIT THIS FILE!" >> $3
echo "%%% IT HAS BEEN AUTOMATICALLY GENERATED DURING COMPILATION!" >> $3

'rm' -f $3

for makefile in mkf-*[!~] ; do
    if test $makefile ; then
        $1 -s output_options MKF-OSARCH=$makefile OUTFILE=$3
    fi
done