diff options
Diffstat (limited to 'resources/tools/report_gen/run_report.cfg')
-rw-r--r-- | resources/tools/report_gen/run_report.cfg | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/resources/tools/report_gen/run_report.cfg b/resources/tools/report_gen/run_report.cfg index 3ff9e605a5..b35f490e50 100644 --- a/resources/tools/report_gen/run_report.cfg +++ b/resources/tools/report_gen/run_report.cfg @@ -7,13 +7,18 @@ declare -r FALSE=1 typeset -A DIR typeset -A URL typeset -A JOB +typeset -A CFG + +CFG[DEBUG]=0 +CFG[BLD_LATEX]=1 +CFG[BLD_HTML]=1 DIR[WORKING]=_tmp -DIR[BUILD]=_build +DIR[BUILD,HTML]=_build DIR[BUILD,LATEX]=_build_latex DIR[RST]=../../../docs/report -DIR[STATIC]=${DIR[BUILD]}/_static +DIR[STATIC]=${DIR[BUILD,HTML]}/_static DIR[STATIC,VPP]=${DIR[STATIC]}/vpp DIR[STATIC,DPDK]=${DIR[STATIC]}/dpdk DIR[STATIC,ARCH]=${DIR[STATIC]}/archive |