Skip to content
Commit 075724c5 authored by Tamas Petz's avatar Tamas Petz
Browse files

[Benchmarks] Make DEV_DIR configurable 

DEV_DIR has a useful default value, however, users might
choose to specify an alternative directory.
parent 344900ba
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment