From e98ceaa800d49e874f436f8b7b0b426e1111020f Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Tue, 3 Apr 2012 08:39:49 +0200 Subject: [PATCH] Fix computation of ABI with recent snapshots Since r12298, development versions have been "$ABI_$DATE" instead of "$ABI ($DATE)". --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index 640a5d21..3da32e6e 100755 --- a/debian/rules +++ b/debian/rules @@ -250,7 +250,7 @@ endif --checksum $(OCAML_ABI) dh_gencontrol # Check that OCAML_ABI is correct - if [ "$(OCAML_ABI)" != "$(shell boot/ocamlrun ./ocamlc -version | { read a b && echo $$a; })" ]; then \ + if [ "$(OCAML_ABI)" != "$(shell boot/ocamlrun ./ocamlc -version | { read a && echo $${a%%_*}; })" ]; then \ echo "Please adjust OCAML_ABI in debian/rules"; \ exit 2; \ fi -- 2.30.2