diff options
author | Javier Jardón <jjardon@gnome.org> | 2014-10-27 00:45:52 +0000 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2014-11-11 22:47:58 +0000 |
commit | d7c37a3159c949f01d802a5119fbfc575a6aff79 (patch) | |
tree | f2196f498c3e772bb5cbb268a60691f572077b82 /strata/core/patch.morph | |
parent | 516e8e466d8a0f672b0bfbc7c6e853868bc9dacf (diff) | |
download | definitions-d7c37a3159c949f01d802a5119fbfc575a6aff79.tar.gz |
Move "patch" to strata/core from strata/coreutils-commonbaserock/jjardon/coreutils
Diffstat (limited to 'strata/core/patch.morph')
-rw-r--r-- | strata/core/patch.morph | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/strata/core/patch.morph b/strata/core/patch.morph new file mode 100644 index 00000000..01d977c4 --- /dev/null +++ b/strata/core/patch.morph @@ -0,0 +1,9 @@ +name: patch +kind: chunk +configure-commands: +- bash bootstrap --skip-po +- ./configure --prefix="$PREFIX" --disable-nls +build-commands: +- make +install-commands: +- make DESTDIR="$DESTDIR" install |