Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
@pw374
pw374 committed Sep 18, 2013
1 parent c198744 commit d59a63a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit d59a63a

Please sign in to comment.