- git-dch --release --new-version=$(DEB_VERSION)
- git log > ChangeLog
- git commit -n ChangeLog debian/changelog \
- -m "update changelogs for Debian build"
- git tag debian/$(DEB_VERSION)
- git push --tags origin master
+ echo "not frobbing changelog for official builds"
+
+configure_flags = \
+ --with-java-version=8 \
+ --disable-install-shared-mime-info \
+ --enable-faketime \
+ --disable-multi-arch