[gnome-continuous] Fix config-opts for gnome-contacts
- From: Emmanuele Bassi <ebassi src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-continuous] Fix config-opts for gnome-contacts
- Date: Fri, 1 Dec 2017 11:12:14 +0000 (UTC)
commit 122b6d5ec2bc98dccd4e35fc6b317ff7e88753db
Author: Emmanuele Bassi <ebassi gnome org>
Date: Fri Dec 1 11:11:55 2017 +0000
Fix config-opts for gnome-contacts
manifest.json | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index c100259..3bc67a2 100644
--- a/manifest.json
+++ b/manifest.json
@@ -1389,7 +1389,7 @@
{"src": "gnome:tali"},
{"src": "gnome:gnome-contacts",
- "config-opts": ["--with-manpage=false"]},
+ "config-opts": ["-Dwith-manpage=false"]},
{"src": "gnome:gnome-characters"},
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]