diff options
author | Karl Berry <karl@freefriends.org> | 2007-07-16 16:47:44 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-07-16 16:47:44 +0000 |
commit | b4195e08ebb104533785f8dd305b7f23e4a51719 (patch) | |
tree | bfe94f2066e65090a1aa6852b91dc905f117dba0 /Build/source/Makefile.in | |
parent | 503ec2dd33ab6e4b82fdab0a643b17d14f820623 (diff) |
new target lib for @LIBSDEP@, not all
git-svn-id: svn://tug.org/texlive/trunk@4628 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/Makefile.in')
-rw-r--r-- | Build/source/Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/Makefile.in b/Build/source/Makefile.in index e57158bfac9..8a230a1f5c8 100644 --- a/Build/source/Makefile.in +++ b/Build/source/Makefile.in @@ -121,7 +121,6 @@ uninstall: Makefile: Makefile.in config.status $(SHELL) ./config.status -all: @LIBSDEP@ all clean mostlyclean: esubdirs="$(LIBSDIRS) $(ESUBDIRS)"; \ for dir in $$esubdirs; do \ @@ -129,6 +128,9 @@ all clean mostlyclean: (if test -f $$dir/Makefile; then cd $$dir && $(MAKE) $@; else true; fi) || exit 1; \ done +# to build libraries only, when working on drivers. +lib: @LIBSDEP@ + distclean: clean cleandirs="$(LIBSDIRS) $(ESUBDIRS)"; \ for dir in $$cleandirs; do \ |