#!/bin/sh # use this to bootstrap your Makefile if it gets corrupted in some way, # or just plain needs updating. if [ ! -f ../config/config.h ] then echo copying config-dist to config.h. cp ../config/config-dist ../config/config.h fi ./domakefile