[gnome-continuous] Drop config-opts for gnome-tweaks



commit fdd56776dcd93789b0eb881eddec4d10b6e9f86b
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Tue Jul 31 10:36:34 2018 +0100

    Drop config-opts for gnome-tweaks
    
    The project does not have build options any more.

 manifest.json | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 6f9ae44..111a2ba 100644
--- a/manifest.json
+++ b/manifest.json
@@ -1413,10 +1413,7 @@
                 "component": "testing"},
 
                {"src": "gnome:gnome-tweaks.git",
-                 "name": "gnome-tweaks",
-                 "config-opts": [
-                     "-Denable-man=false"
-                 ]},
+                 "name": "gnome-tweaks"},
 
                {"src": "gnome:eog.git",
                  "name": "eog",


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]