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/coreutils-common | |
parent | 516e8e466d8a0f672b0bfbc7c6e853868bc9dacf (diff) | |
download | definitions-d7c37a3159c949f01d802a5119fbfc575a6aff79.tar.gz |
Move "patch" to strata/core from strata/coreutils-commonbaserock/jjardon/coreutils
Diffstat (limited to 'strata/coreutils-common')
-rw-r--r-- | strata/coreutils-common/patch.morph | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/strata/coreutils-common/patch.morph b/strata/coreutils-common/patch.morph deleted file mode 100644 index 01d977c4..00000000 --- a/strata/coreutils-common/patch.morph +++ /dev/null @@ -1,9 +0,0 @@ -name: patch -kind: chunk -configure-commands: -- bash bootstrap --skip-po -- ./configure --prefix="$PREFIX" --disable-nls -build-commands: -- make -install-commands: -- make DESTDIR="$DESTDIR" install |