From 9b7a9998cdae4f6a384c7e62d589276beda7040b Mon Sep 17 00:00:00 2001
From: Brad Chamberlain <bradc@cray.com>
Date: Sat, 12 Oct 2019 18:52:25 -0400
Subject: [PATCH] This removes a pair of flags from the Makefile command-line

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 69c204a2a8..9bd67c8f9a 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ VERBOSE ?= 0
 
 CHPL := chpl
 CHPL_DEBUG_FLAGS += --print-passes
-CHPL_FLAGS += --ccflags="-Wno-incompatible-pointer-types" --cache-remote --instantiate-max 1024 --fast --legacy-classes
+CHPL_FLAGS += --cache-remote --fast --legacy-classes
 CHPL_FLAGS += -lhdf5 -lhdf5_hl -lzmq
 
 # add-path: Append custom paths for non-system software.