Various fixes

diff --git a/debian/rules b/debian/rules
index 9077194a1cc161b5be421189a3ff45ffa025097e..e68e74f4c0895d350b7021aefc071c5a460c5710 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -53,6 +53,7 @@ debian/control:
        sed -e 's/@OCamlNativeArchs@/$(NATIVE_ARCHS)/g' debian/control.in > $@
 
 pre-config-stamp: debian/$(SRCTARBALL)
+       chmod +x debian/gen_modules.pl
 # Backup upstream config.{sub,guess}, and use most up-to-date ones
        for ext in sub guess; do \
          if [ -f /usr/share/misc/config.$$ext ] && \
@@ -157,7 +158,7 @@ install-stamp:
          mv $$u.install.new $$u.install; \
        done
        if ! dh_install --list-missing; then \
-         @echo "===> dh_install has failed with exit code $?... <==="; \
+         echo "===> dh_install has failed <==="; \
          find debian/tmp; \
          exit 1; \
        fi