diff options
Diffstat (limited to 'scripts/genie.lua')
-rw-r--r-- | scripts/genie.lua | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/scripts/genie.lua b/scripts/genie.lua index 2fcfb323653..0e8ce5e63aa 100644 --- a/scripts/genie.lua +++ b/scripts/genie.lua @@ -83,6 +83,11 @@ newoption { } newoption { + trigger = "with-benchmarks", + description = "Enable building benchmarks.", +} + +newoption { trigger = "osd", description = "Choose OSD layer implementation", } @@ -1296,3 +1301,8 @@ if _OPTIONS["with-tests"] then group "tests" dofile(path.join("src", "tests.lua")) end + +if _OPTIONS["with-benchmarks"] then + group "benchmarks" + dofile(path.join("src", "benchmarks.lua")) +end |