FWIW on my own (home) install of openSUSE Linux I use two shadow
directories, generated as follows:

cd src
SHADOWDIR='shadow-huge' make -e shadow
SHADOWDIR='shadow-tiny' make -e shadow
cd ..

The -e switch is not used after that: by descending into the proper
shadowdir (where appropriate config environment settings are set by
sourcing a different ad-hoc bash script in each so the Makefile need
not be modified and thus can be symlinked), just "make config" "make"
"make reconfig" "make install" "make installvimbin" etc. produce their
respective expected result.

Just like James, I use them to parallelize the build; in my case of a
Huge build and a Tiny one, both logged to both screen and disk thanks
to "2>&1 | tee -a make.log". Building both of these gives me some kind
of "sanity test" and has allowed me in the past to catch the most
glaring cases of missing #ifdef statements. (There are some I still
miss, e.g. if a change builds in both Huge and Tiny but not in
Normal).

Best regards,
Tony.

On Tue, Dec 8, 2015 at 4:01 AM, James McCoy [email protected] wrote:

There have been various breakages of “make shadow” when new tests are added.
I
rely on this to parallelize the build of Debian's packages, so prefer for it
not to get broken.

Note that this is currently failing CI due to an existing test failure,
which
has a fix in #515.

---

You can view, comment on, or merge this pull request online at:

#520

Commit Summary

Add use of “make shadow” to CI

File Changes

M .travis.yml (14)

Patch Links:

https://github.com/vim/vim/pull/520.patch
https://github.com/vim/vim/pull/520.diff

—
Reply to this email directly or view it on GitHub.

You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php

---

You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an
email to [email protected].
For more options, visit https://groups.google.com/d/optout.