Fetching contributors…
Cannot retrieve contributors at this time
executable file 16 lines (13 sloc) 334 Bytes
MAKEFILES="makefile lib/makefile gsi/makefile gsc/makefile check/makefile doc/makefile misc/makefile"
rm -f configur
echo > configur
rm -f config.status
echo > config.status
for mf in $MAKEFILES
do
if [ -n "${CPLUSPLUS-}" ]; then
sed -f misc/conf_dpp.sed $mf.in > $mf
else
sed -f misc/conf_dj.sed $mf.in > $mf
fi
done