misc/conf_msc

   1 MAKEFILES="makefile lib/makefile gsi/makefile gsc/makefile check/makefile doc/makefile misc/makefile"
   2
   3 rm -f configur
   4 echo > configur
   5 rm -f config.status
   6 echo > config.status
   7
   8 for mf in $MAKEFILES
   9 do
  10   if [ -n "${CPLUSPLUS-}" ]; then
  11     sed -f misc/conf_mpp.sed $mf.in > $mf
  12   else
  13     sed -f misc/conf_msc.sed $mf.in > $mf
  14   fi
  15 done