Version bump to 0.18.9.23

Author: dkormalev

features/proof_common.prf

@@ -1,7 +1,7 @@
 PROOF_VERSION_MAJOR = 0
 PROOF_VERSION_YEAR = 18
-PROOF_VERSION_MONTH = 8
-PROOF_VERSION_DAY = 10
+PROOF_VERSION_MONTH = 9
+PROOF_VERSION_DAY = 23
 PROOF_VERSION = $${PROOF_VERSION_MAJOR}.$${PROOF_VERSION_YEAR}.$${PROOF_VERSION_MONTH}.$${PROOF_VERSION_DAY}
 
 DEFINES *= PROOF_VERSION=\\\"$${PROOF_VERSION}\\\"

travis/apps/post-compile/deb_upload.sh

@@ -88,7 +88,7 @@ docker exec -t builder bash -c "/opt/Opensoft/proof/dev-tools/deploy/debian/buil
 travis_time_finish && travis_fold end "pack.deb";
 echo " ";
 
-DEB_FILENAME=`find -maxdepth 1 -name "$TARGET_NAME-*.deb" -print -quit`
+DEB_FILENAME=`find -maxdepth 1 -name "$TARGET_NAME-*.deb" -exec basename "{}" \; -quit`
 if [ -z  "$DEB_FILENAME" ]; then
     echo -e "\033[1;31mCan't find created deb package, halting\033[0m";
     exit 1