# $Id: config.gmk 71 2003-04-30 20:47:42Z bird $ # # Helper makescript for updating one instance of configure. # # InnoTek Systemberatung GmbHconfidential # # Copyright (c) 2003 InnoTek Systemberatung GmbH # Author: knut st. osmundsen # # All Rights Reserved # .PHONY: all remove clean rerun refresh all: refresh remove: rm -f configure config.log config.cache config.status rerun: remove configure refresh: configure clean: remove configure: configure.in $(PATH_TOP)/config.gmk $(BASH) autoconf