This removes a pair of flags from the Makefile command-line

Bears-R-Us · Oct 12, 2019 · 9b7a999 · 9b7a999
1 parent ce37081
commit 9b7a999
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.