aboutsummaryrefslogtreecommitdiff
path: root/misc/common-makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'misc/common-makefile.am')
-rw-r--r--misc/common-makefile.am1
1 files changed, 1 insertions, 0 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="" \