From d59a63a3b1d9b430734805793545e44759a1c01f Mon Sep 17 00:00:00 2001
From: Philippe Wang <philippe.wang@gmail.com>
Date: Wed, 18 Sep 2013 15:01:49 +0100
Subject: [PATCH] fix

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1f21b2ad..8810adf3 100644
--- a/Makefile
+++ b/Makefile
@@ -51,7 +51,7 @@ distclean dist-clean:: clean
 	$(RM) $(wildcard *.ba[0-9] *.bak *~ *.odocl)
 
 opam:
-	test "$(wc -l < _oasis)" == 42 ; echo $?
+	test "$(wc -l < _oasis)" == 42 || (echo $?; exit $?)
 	cp _oasis _oasis_orig
 	head -n 31 _oasis_orig > _oasis
 	oasis2opam http://pw374.github.io/distrib/omd/$(PKGNAME)-$(PKGVERSION).tar.gz