diff options
author | Karl Berry <karl@freefriends.org> | 2011-04-13 02:20:01 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2011-04-13 02:20:01 +0000 |
commit | b792c8728dde0a89eb330970334f84e0225ee30f (patch) | |
tree | 64b632700594862b2586ec02bc44c0814e5c6f5f /Build/source/build-aux | |
parent | d660ba129e59d93b2e9bd63bbee34116d31b6f73 (diff) |
/home/texlive/karl/Master/tlpkg/bin/tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@22065 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/build-aux')
-rwxr-xr-x | Build/source/build-aux/depcomp | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Build/source/build-aux/depcomp b/Build/source/build-aux/depcomp index 43bd0f9bc12..53bee03e9c9 100755 --- a/Build/source/build-aux/depcomp +++ b/Build/source/build-aux/depcomp @@ -1,7 +1,7 @@ #! /bin/sh # depcomp - compile a program generating dependencies as side-effects -scriptversion=2011-04-09-11; # UTC +scriptversion=2011-04-11-05; # UTC # Copyright (C) 1999, 2000, 2003, 2004, 2005, 2006, 2007, 2009, 2010, # 2011 Free Software Foundation, Inc. @@ -166,10 +166,12 @@ gcc) ' < "$tmpdepfile" | ## Some versions of gcc put a space before the `:'. On the theory ## that the space means something, we add a space to the output as -## well. +## well. hp depmode also adds that space, but also prefixes the VPATH +## to the object. Take care to not repeat it in the output. ## Some versions of the HPUX 10.20 sed can't process this invocation ## correctly. Breaking it into two sed invocations is a workaround. - sed -e 's/^\\$//' -e '/^$/d' -e '/:$/d' | sed -e 's/$/ :/' >> "$depfile" + sed -e 's/^\\$//' -e '/^$/d' -e -e "s|.*$object$||" '/:$/d' \ + | sed -e 's/$/ :/' >> "$depfile" rm -f "$tmpdepfile" ;; |