1 files changed, 1 insertions, 0 deletions

diff --git a/config.mk b/config.mk
index 3b8b675..c5ebc62 100644
--- a/config.mk
+++ b/config.mk
@@ -1,5 +1,6 @@
 PREFIX ?= /usr/local
 DEBUG ?= 0
+ICEPROG ?= 1
 
 CXX ?= clang++
 CC ?= clang