Skip to content
Snippets Groups Projects
Commit 1f009768 authored by Andreas Klebinger's avatar Andreas Klebinger Committed by Ben Gamari
Browse files

winio: fix cabal04 by filtering rts args

parent 7d424e1e
No related merge requests found
......@@ -14,7 +14,7 @@ cabal04:
$(MAKE) -s --no-print-directory clean
'$(TEST_HC)' $(TEST_HC_OPTS) -v0 --make Setup
$(SETUP) clean
$(SETUP) configure --with-ghc='$(TEST_HC)' --ghc-options='$(filter-out -rtsopts,$(TEST_HC_OPTS))' $(VANILLA) $(PROF) $(DYN)
$(SETUP) configure --with-ghc='$(TEST_HC)' --ghc-options='$(filter-out -with-rtsopts="--io-manager=native",$(filter-out -rtsopts,$(TEST_HC_OPTS)))' $(VANILLA) $(PROF) $(DYN)
$(SETUP) build 2> err
! grep -v "Creating library file" err
ifneq "$(CLEANUP)" ""
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment