Fetching contributors…
Cannot retrieve contributors at this time
executable file 20 lines (17 sloc) 432 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 "${WINDOWED-}" ]; then
sed -f misc/conf_win.sed $mf.in > $mf
else
if [ -n "${CPLUSPLUS-}" ]; then
sed -f misc/conf_wpp.sed $mf.in > $mf
else
sed -f misc/conf_wat.sed $mf.in > $mf
fi
fi
done