diff options
author | Richard Ipsum <richard.ipsum@codethink.co.uk> | 2015-01-20 10:51:49 +0000 |
---|---|---|
committer | Richard Ipsum <richard.ipsum@codethink.co.uk> | 2015-01-22 17:00:51 +0000 |
commit | 3174f8fc609a62908757eeb3a8dfcf5bd145934d (patch) | |
tree | a2ac5de27056bc5f684b23123b9e552ff0d39a3c /strata/tools/screen.morph | |
parent | 95c31140fced760a5f8c3392b86b54a117f1ac82 (diff) | |
download | definitions-3174f8fc609a62908757eeb3a8dfcf5bd145934d.tar.gz |
Move some tools into newly created devtools stratum
Collect tools which nothing build depends on into same stratum to reduce
unnecessary rebuilding.
Diffstat (limited to 'strata/tools/screen.morph')
-rw-r--r-- | strata/tools/screen.morph | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/strata/tools/screen.morph b/strata/tools/screen.morph deleted file mode 100644 index 0b23c5d4..00000000 --- a/strata/tools/screen.morph +++ /dev/null @@ -1,11 +0,0 @@ -name: screen -kind: chunk -description: A terminal multiplexer and sanity tool for many -max-jobs: 1 -configure-commands: -- cd ./src && sh autogen.sh -- cd ./src && ./configure --prefix="$PREFIX" -build-commands: -- cd ./src && make -install-commands: -- cd ./src && make DESTDIR="$DESTDIR" install |