#!/bin/sh # config.status # this file was created by ./configure if [ "$1" = "-reconfigure" ]; then # re-issue the ./configure command exec ./configure fi # report on configuration ./config.summary echo "creating Makefile ..." # overcome my chmod below rm -f Makefile cat >Makefile <>Makefile # discourage editing .. chmod a-w Makefile