diff options
author | 2010-08-16 19:31:09 +0100 | |
---|---|---|
committer | 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 |