diff options
| -rw-r--r-- | Config/version.mk | 4 | ||||
| -rw-r--r-- | Src/Makefile.in | 5 |
2 files changed, 6 insertions, 3 deletions
diff --git a/Config/version.mk b/Config/version.mk index 5f80687ca..91ae13043 100644 --- a/Config/version.mk +++ b/Config/version.mk @@ -27,5 +27,5 @@ # This must also serve as a shell script, so do not add spaces around the # `=' signs. -VERSION=4.3.10-test-3 -VERSION_DATE='December 16, 2010' +VERSION=4.3.11 +VERSION_DATE='December 20, 2010' diff --git a/Src/Makefile.in b/Src/Makefile.in index 98348e645..bcbecad8e 100644 --- a/Src/Makefile.in +++ b/Src/Makefile.in @@ -221,7 +221,10 @@ mostlyclean-modules clean-modules distclean-modules realclean-modules: install.modules uninstall.modules \ modobjs modules headers proto $(MAIN_OBJS) zsh.export: Makemod + @if [ ! -f Builtins/Makefile.in ]; then \ + $(MAKE) prep; \ + fi @$(MAKE) -f Makemod $(MAKEDEFS) $@ -.PHONY: install.modules uninstall.modules +.PHONY: headers proto $(MAIN_OBJS): $(sdir)/zsh.h |