From 9060ef77bd8d85676cceeaaa2a6732f227ec4259 Mon Sep 17 00:00:00 2001
From: "C.J. Jameson" <cjameson@pivotal.io>
Date: Tue, 28 Mar 2017 09:52:26 -0700
Subject: [PATCH] Describe common improvements to typical dev workflow

---
 README.md | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index ff86eb0b95..38ac34cf9d 100644
--- a/README.md
+++ b/README.md
@@ -140,7 +140,14 @@ make cluster
 source gpdemo-env.sh
 ```
 
-The directory and the TCP ports for the demo cluster can be changed on the fly:
+Compilation can be sped up with parallelization. Instead of `make`, consider:
+
+```
+make -j8
+```
+
+The directory and the TCP ports for the demo cluster can be changed on the fly.
+Instead of `make cluster`, consider:
 
 ```
 DATADIRS=/tmp/gpdb-cluster MASTER_PORT=15432 PORT_BASE=25432 make cluster
@@ -277,8 +284,8 @@ Known issues:
     docker images -aq --filter dangling=true | xargs -n 1 docker rmi
     ```
 
-    Alternatively you can use the (beta) Native macOS docker client now available
-    in docker 1.12.
+* The Native macOS docker client available with docker 1.12+ (beta) or
+  Community Edition 17+ may also work
 
 ## Contributing
 
-- 
GitLab