diff --git a/tests/ghc_ghci/Makefile b/tests/ghc_ghci/Makefile index 35ff50fd74724dcb1ada624f842b730021323ff9..22881d197f92778b9f8f2aec6475e6e47f714d46 100644 --- a/tests/ghc_ghci/Makefile +++ b/tests/ghc_ghci/Makefile @@ -8,6 +8,6 @@ include $(TOP)/mk/test.mk hpc_ghc_ghci: rm -f A.o A.hi - '$(TEST_HC)' -fhpc -c A.hs - echo b | '$(TEST_HC)' -ignore-dot-ghci -v0 --interactive B.hs + '$(TEST_HC)' $(TEST_HC_OPTS) -fhpc -c A.hs + echo b | '$(TEST_HC)' $(TEST_HC_OPTS) -ignore-dot-ghci -v0 --interactive B.hs