diff options
| author | Javier Jardón <jjardon@gnome.org> | 2016-02-17 18:57:29 +0000 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2016-02-18 15:46:43 +0000 |
| commit | 352b27ad8b070c51ab67a8e110e23887c3b242ad (patch) | |
| tree | 38ca7427ccce2832d8c3d1b432c701532e1658bf /strata/data-indexing-management/gmime.morph | |
| parent | 642d35be89dfd9561dd49ff282a9e18658a23211 (diff) | |
| download | definitions-352b27ad8b070c51ab67a8e110e23887c3b242ad.tar.gz | |
Add data-index-management stratum
Change-Id: I26d7b95f23a649b1e8109f3b8835fbe6850ce626
Diffstat (limited to 'strata/data-indexing-management/gmime.morph')
| -rw-r--r-- | strata/data-indexing-management/gmime.morph | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/strata/data-indexing-management/gmime.morph b/strata/data-indexing-management/gmime.morph new file mode 100644 index 00000000..f71efac4 --- /dev/null +++ b/strata/data-indexing-management/gmime.morph @@ -0,0 +1,6 @@ +name: gmime +kind: chunk +build-system: autotools +pre-configure-commands: +# Work around upstream bug: https://bugzilla.gnome.org/show_bug.cgi?id=757720 +- sed -i 's/$(INCLUDES)/$(AM_CPPFLAGS)/g' gmime/Makefile.am |