diff options
| author |  Ciaran McCreesh <ciaran.mccreesh@googlemail.com>
| 2010-08-16 19:31:09 +0100 |
|---|---|---|
| committer | Ciaran McCreesh <ciaran.mccreesh@googlemail.com>
| 2010-08-16 21:15:08 +0100 |
| commit | 94bc9cdf00cca7ba65a1e43060078a508b96a838 (patch) | |
| tree | d6c71f1156587aad251479a53a807d372db2255b | |
| parent | 888b5aa7400c2f05c132d42a359c79cd7ae13677 (diff) | |
| download | paludis-94bc9cdf00cca7ba65a1e43060078a508b96a838.tar.gz paludis-94bc9cdf00cca7ba65a1e43060078a508b96a838.tar.xz | |
Ignore cave format configs when building
| -rw-r--r-- | misc/common-makefile.am | 1 | ||||
| -rw-r--r-- | src/clients/cave/Makefile.am | 10 |
2 files changed, 9 insertions, 2 deletions
diff --git a/misc/common-makefile.am b/misc/common-makefile.am index 91881b4c0..ef35bc008 100644 --- a/misc/common-makefile.am +++ b/misc/common-makefile.am @@ -11,6 +11,7 @@ LOG_COMPILER = \ ACCERSO_OPTIONS="" \ ADJUTRIX_OPTIONS="" \ APPAREO_OPTIONS="" \ + CAVE_FORMATS_CONF="/dev/null" \ CAVE_COMMANDS_PATH="" \ CAVE_OPTIONS="" \ CAVE_CONFIG_OPTIONS="" \ diff --git a/src/clients/cave/Makefile.am b/src/clients/cave/Makefile.am index eb9edf12a..5c8fa2adf 100644 --- a/src/clients/cave/Makefile.am +++ b/src/clients/cave/Makefile.am @@ -68,10 +68,16 @@ man_MANS = \ $(command_MANS) cave.1 : man-cave - env CAVE_COMMANDS_PATH="" ./man-cave > $@ + env \ + CAVE_FORMATS_CONF="/dev/null" \ + CAVE_COMMANDS_PATH="" \ + ./man-cave > $@ $(command_MANS) : man-cave - if ! env CAVE_COMMANDS_PATH="" ./man-cave `echo $@ | sed -e 's.^cave-..' -e 's,\.1$$,,'` > $@ ; then rm -f $@ ; exit 1 ; fi + if ! env \ + CAVE_FORMATS_CONF="/dev/null" \ + CAVE_COMMANDS_PATH="" \ + ./man-cave `echo $@ | sed -e 's.^cave-..' -e 's,\.1$$,,'` > $@ ; then rm -f $@ ; exit 1 ; fi cave_SOURCES = \ cave.cc |