summaryrefslogtreecommitdiffstatshomepage
path: root/scripts/genie.lua
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/genie.lua')
-rw-r--r--scripts/genie.lua10
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