Skip to content
This repository
Fetching contributors…

Octocat-spinner-32-eaf2f5

Cannot retrieve contributors at this time

executable file 16 lines (13 sloc) 0.335 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
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_bpp.sed $mf.in > $mf
  else
sed -f misc/conf_bor.sed $mf.in > $mf
  fi
done
Something went wrong with that request. Please try again.