diff --git a/tools/permuter_settings.toml b/tools/permuter_settings.toml new file mode 100644 index 0000000000..c8037eb2e6 --- /dev/null +++ b/tools/permuter_settings.toml @@ -0,0 +1 @@ +build_system = "ninja"