Giuseppe Lavagetto has uploaded a new change for review. https://gerrit.wikimedia.org/r/150213
Change subject: hhvm: lintian fixes ...................................................................... hhvm: lintian fixes I have corrected some lintian errors I introduced, and added a couple to the overrides list. Signed-off-by: Giuseppe Lavagetto <glavage...@wikimedia.org> --- M debian/hhvm.lintian-overrides M debian/hhvm.postinst D debian/hhvm.postrm A debian/hhvm.prerm 4 files changed, 10 insertions(+), 3 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/debs/hhvm refs/changes/13/150213/1 diff --git a/debian/hhvm.lintian-overrides b/debian/hhvm.lintian-overrides index c490f1e..993009d 100644 --- a/debian/hhvm.lintian-overrides +++ b/debian/hhvm.lintian-overrides @@ -1,2 +1,5 @@ hhvm: spelling-error-in-binary usr/bin/hhvm tEH the hhvm: spelling-error-in-binary usr/bin/hhvm taht that +hhvm: script-in-etc-init.d-not-registered-via-update-rc.d etc/init.d/hhvm +hhvm: binary-without-manpage usr/bin/hhvm +hhvm-dev: binary-without-manpage usr/bin/hphpize diff --git a/debian/hhvm.postinst b/debian/hhvm.postinst index 3116515..70b2ab2 100755 --- a/debian/hhvm.postinst +++ b/debian/hhvm.postinst @@ -1,2 +1,4 @@ #!/bin/bash -e -/usr/bin/update-alternatives --install /usr/bin/php php /usr/bin/hhvm 60 +update-alternatives --install /usr/bin/php php /usr/bin/hhvm 60 + +#DEBHELPER# diff --git a/debian/hhvm.postrm b/debian/hhvm.postrm deleted file mode 100755 index 489ec54..0000000 --- a/debian/hhvm.postrm +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/bash -e -/usr/bin/update-alternatives --remove php /usr/bin/hhvm diff --git a/debian/hhvm.prerm b/debian/hhvm.prerm new file mode 100755 index 0000000..ef2f601 --- /dev/null +++ b/debian/hhvm.prerm @@ -0,0 +1,4 @@ +#!/bin/bash -e +update-alternatives --remove php /usr/bin/hhvm + +#DEBHELPER# -- To view, visit https://gerrit.wikimedia.org/r/150213 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Icde23c00a22e0f0ca944ad295a2a4af030b0d5b3 Gerrit-PatchSet: 1 Gerrit-Project: operations/debs/hhvm Gerrit-Branch: master Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
