Re: A simple script to do the reverse of git-push

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Aug 8, 2005, 23:38 UTC
Message-ID: <Pine.LNX.4.63.0508090135230.3695@wgmdd8.biozentrum.uni-wuerzburg.de>
In-Reply-To: <7vslxk125f.fsf@assigned-by-dhcp.cox.net>

Hi,

On Mon, 8 Aug 2005, Junio C Hamano wrote:

Show 5 quoted lines

> We would need something like this.
>
> [...]
>
> +$(patsubst git-%,%.o,$(PROG)): $(LIB_H)

A short

	for i in git-*; do \
		c=$(echo $i|sed "s/git-\(.*\)/\1.c/g")
		if [ -e $c ]; then \
			if ! grep cache\\.h $c; then \
				echo $c does not depend on cache.h \
			fi \
		fi \
	done

(actually tested) reveals that only get-tar-commit-id.c and stripspace.c do not depend on cache.h or rev-cache.h. Thus, your patch is the most elegant solution to my problem :-)

Ciao, Dscho