From: Richard W.M. Jones Date: Tue, 17 Jan 2012 12:44:36 +0000 (+0000) Subject: Add 'make check' as a synonym for 'make test'. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;ds=sidebyside;h=ef7b0ec370fc78bd51e797046168bb09ea8a7f4b;hp=ef7b0ec370fc78bd51e797046168bb09ea8a7f4b;p=ocaml-bitstring.git Add 'make check' as a synonym for 'make test'. ---