From 13ad9f3d65efddf04cae43c5ba57bc736acd9b20 Mon Sep 17 00:00:00 2001 From: Tomasz Kramkowski Date: Thu, 15 Jul 2021 17:48:44 +0100 Subject: README updates --- README.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 93400d0..c17624e 100644 --- a/README.md +++ b/README.md @@ -8,12 +8,13 @@ Dependencies - A redo implementation. - Tested building and - development. Performance issues with jobserver. + development. Slightly overzealous rebuilds. Performance issues with + jobserver. - Tested building and development. Bugs with jobserver. - Tested for building. May have some bugs when used for development. - - Tested for building. Over-eager + - Tested for building. Overzealous rebuilds but generally very fast. - A relatively recent copy of bash and some other core utilities. - A C compiler with C11 support. @@ -21,7 +22,7 @@ Dependencies Compilation ----------- -Run `./configure` (see `./configure -h` for additional options). +Optionally run `./configure` (see `./configure -h` for options). Run `redo all` to build the library and tests. Testing -- cgit v1.2.3-54-g00ecf