diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 3baad54..2020e06 100644 --- a/Makefile.am +++ b/Makefile.am @@ -19,6 +19,7 @@ benchmark: echo "MAXCACHE=$(MAXCACHE)"; \ echo "NUMSAMPLES=$(NUMSAMPLES)"; \ echo "RUNTESTOPT=$(RUNTESTOPT)"; \ + echo "FETCHKEYSOPT=$(FETCHKEYSOPT)"; \ echo "include @abs_top_builddir@/src/benchmark.mk") > $$DIRNAME/Makefile; \ fi; \ $(MAKE) -C $$DIRNAME |