summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index b37f46c3ba..30823323f8 100644
--- a/Makefile
+++ b/Makefile
@@ -312,8 +312,8 @@ beforedepend:: asmcomp/proc.ml
# Preprocess the code emitters
asmcomp/emit.ml: asmcomp/emit_$(ARCH).mlp tools/cvt_emit
- tools/cvt_emit asmcomp/emit_$(ARCH).mlp > asmcomp/emit.ml \
- || rm -f asmcomp/emit.ml
+ perl tools/cvt_emit asmcomp/emit_$(ARCH).mlp > asmcomp/emit.ml \
+ || { rm -f asmcomp/emit.ml; exit 2; }
clean::
rm -f asmcomp/emit.ml