X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=ghc.mk;fp=ghc.mk;h=9a589d795771cd2bc3f93159634c0d4c8dc28a2a;hp=738b5ca11fbf3ea209a55f0d314676480331e3d9;hb=163d12852002a67c5b661b4b3e7e3c5bb6faa5f3;hpb=9ac3091579f2c3671a13c6785496e7a43a40c850

diff --git a/ghc.mk b/ghc.mk
index 738b5ca..9a589d7 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -1219,7 +1219,7 @@ compiler/hetmet/Makefile:
 	git submodule update --init compiler/hetmet
 	cd compiler/hetmet/; git checkout master
 compiler/hetmet/build/CoqPass.hs: compiler/hetmet/Makefile $(wildcard compiler/hetmet/src/*.v) $(wildcard compiler/hetmet/src/*.hs)
-	cd compiler/hetmet; make
+	cd compiler/hetmet; make build/CoqPass.hs
 compiler/stage1/build/CoqPass.hs: compiler/hetmet/build/CoqPass.hs
 	cp compiler/hetmet/build/CoqPass.hs $@
 compiler/stage2/build/CoqPass.hs: compiler/hetmet/build/CoqPass.hs