Fix computation of ABI with recent snapshots

Since r12298, development versions have been "$ABI_$DATE" instead of
"$ABI ($DATE)".

diff --git a/debian/rules b/debian/rules
index 640a5d218a764fd0a421d82629c2455bfc0d03ee..3da32e6eb12fc76c503279b45f83fc7c3e62989d 100755 (executable)
--- 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