fixes #12258

[wxWidgets.git] / debian / libwxgtk-dev.postinst

diff --git a/debian/libwxgtk-dev.postinst b/debian/libwxgtk-dev.postinst
index b565424d52d376ed5794a96340bd38f70ce563c1..6b499fe80dac1d41adaee0109eb7cfaca59f8416 100644 (file)
--- a/debian/libwxgtk-dev.postinst
+++ b/debian/libwxgtk-dev.postinst
@@ -1,7 +1,9 @@
 #! /bin/sh
 set -e
 
-update-alternatives --install /usr/bin/wx-config wx-config /usr/lib/wx/config/gtk2-unicode-release-=V 80
+update-alternatives --install /usr/bin/wx-config wx-config                \
+                             /usr/lib/wx/config/gtk2-unicode-release-=V  \
+                             $(( =PRIO * 10 + 8 ))
 
 #DEBHELPER#