diff options
Diffstat (limited to 'misc/common-makefile.am')
| -rw-r--r-- | misc/common-makefile.am | 1 |
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="" \ |