diff options
Diffstat (limited to 'pat/Jmakefile')
| -rw-r--r-- | pat/Jmakefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pat/Jmakefile b/pat/Jmakefile index 1071c76..f4d8fc3 100644 --- a/pat/Jmakefile +++ b/pat/Jmakefile @@ -2,7 +2,7 @@ * Jmakefile for patching tools. */ -;# $Id: Jmakefile 9 2006-08-25 22:31:50Z rmanfredi $ +;# $Id: Jmakefile 48 2010-11-28 23:05:09Z rmanfredi $ ;# ;# Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi ;# @@ -50,7 +50,8 @@ PATSH = \ !f.SH \ -expand \\ -depend:: +depend:: local_depend +local_depend:: ($(SED) '/^# DO NOT DELETE/q' Makefile && \ grep '^\$$grep' $(PATSH) | \ $(SED) -e "s/^.*' \([^ ]*\) >>\([^ ]*\)/\2: \1/" \ |