diff options
| author | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2015-10-27 18:19:54 +0900 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2015-10-27 11:07:46 +0000 |
| commit | f2ec162fcf091121abfd47f770f6fc59dc4c4654 (patch) | |
| tree | 5bb0bb5a8bd24abddffab3f75a7ee337ff29f9f8 /strata/gnome | |
| parent | 893b820e212e630e1c572b32f9d652369757f100 (diff) | |
| download | definitions-f2ec162fcf091121abfd47f770f6fc59dc4c4654.tar.gz | |
Adding gnome-terminal to GNOME stratum
Change-Id: I86c671425eb3f93d1f535fa9ab156cbb46d65567
Diffstat (limited to 'strata/gnome')
| -rw-r--r-- | strata/gnome/gnome-terminal.morph | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/strata/gnome/gnome-terminal.morph b/strata/gnome/gnome-terminal.morph new file mode 100644 index 00000000..89ec5964 --- /dev/null +++ b/strata/gnome/gnome-terminal.morph @@ -0,0 +1,5 @@ +name: gnome-terminal +kind: chunk +build-system: autotools +configure-commands: +- ./autogen.sh --prefix="$PREFIX" --sysconfdir=/etc --disable-search-provider |