From fb126abe4547407dcf7d2852562ab5ee702e8e42 Mon Sep 17 00:00:00 2001 From: heliguy Date: Tue, 5 Mar 2024 21:49:07 -0500 Subject: [PATCH] Change profile to default --- io.github.flattool.Warehouse.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/io.github.flattool.Warehouse.json b/io.github.flattool.Warehouse.json index 047651d..e0c6823 100644 --- a/io.github.flattool.Warehouse.json +++ b/io.github.flattool.Warehouse.json @@ -44,7 +44,7 @@ "name" : "warehouse", "builddir" : true, "buildsystem" : "meson", - "config-opts": [ "-Dprofile=development" ], + "config-opts": [ "-Dprofile=default" ], "sources" : [ { "type" : "dir",