Commit e71575bc authored by Michael Hanus's avatar Michael Hanus
Browse files

Bug fix in Makefile

parent 3bbf96e3
......@@ -164,10 +164,10 @@ $(CABAL_TRACE_FILE): ../Makefile Makefile
$(COMP) -v0 -i. Database.CDBI.$*
.curry/kics2/Database/Curry_Trace_%.hs: Database/%.curry
$(COMP) -v0 -i. --trace-failure Database.CDBI.$*
$(COMP) -v0 -i. --trace-failure Database.$*
.curry/kics2/Database/Curry_%.hs: Database/%.curry
$(COMP) -v0 -i. Database.CDBI.$*
$(COMP) -v0 -i. Database.$*
.curry/kics2/Test/Curry_Trace_%.hs: Test/%.curry
$(COMP) -v0 -i. --trace-failure Test.$*
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment