Fail if $(OCAML_ABI) is incorrect
authorStephane Glondu <steph@glondu.net>
Wed, 27 Jan 2010 18:09:06 +0000 (19:09 +0100)
committerStephane Glondu <steph@glondu.net>
Wed, 27 Jan 2010 18:34:06 +0000 (19:34 +0100)
commitff30d077a3fed9d1b4d47b1ee42a6e0865c98bd8
treeded820705099aec96032e97413dd9e235c866203
parent98f6c3a625dcdd5ff854bf4f4b4ee959b866fa74
Fail if $(OCAML_ABI) is incorrect
debian/rules