diff options
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 \ |