From b21241371a50408bd170416b29e7a1a9bbac547c Mon Sep 17 00:00:00 2001 From: Paul Biggar Date: Mon, 8 Jun 2015 15:24:09 -0700 Subject: [PATCH] Fix formatting in README --- README.md | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 5fa7fc2ad..4edea16af 100644 --- a/README.md +++ b/README.md @@ -8,10 +8,10 @@ See https://phpcompiler.org for more details. After checking out via git, run - $ touch src/generated/* - $ ./configure - $ make - $ make install + $ touch src/generated/* + $ ./configure + $ make + $ make install For more detail, see the manual, in docs/manual/. @@ -29,12 +29,18 @@ each test run. To run tests: - $ make test (aka make check) + $ make test # aka make check + or + $ make installcheck + or + $ make long-test + or + $ php test/framework/driver.php The latter allows command line options, and limiting the tests with regular