1 files changed, 4 insertions, 1 deletions

diff --git a/ci b/ci
index 0a699757..0b74496b 100755
--- a/ci
+++ b/ci
@@ -1,4 +1,7 @@
 #!/bin/sh
+compile=ghci
 defs="-DBENCODE_AESON -DTHREAD_DEBUG"
 hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass"
-ghci -freverse-errors $hide -isrc -XOverloadedStrings -XRecordWildCards $defs "$@"
+# cbits="cbits/*.c"
+$compile -fdefer-typed-holes -Wno-typed-holes -freverse-errors $hide -isrc -XOverloadedStrings -XRecordWildCards $defs $cbits "$@"
+