ELN: Use EXTRA_FILES also in extra_files configuration option.

Signed-off-by: Jan Kaluza <jkaluza@redhat.com>
2020-10-20 08:23:14 +02:00 · 2020-10-20 08:23:14 +02:00 · 5100e65915
commit 5100e65915
parent 9d06f4a4f1
1 changed files with 2 additions and 0 deletions
--- a/shared/general.conf
+++ b/shared/general.conf
@ -29,3 +29,5 @@ variants_file = {
    "branch": VARIANTS_BRANCH,
    "file": VARIANTS_FILE,
 }
+
+extra_files = EXTRA_FILES