- echo $(DEB_VERSION)
- git-dch --release --new-version=$(DEB_VERSION) --multimaint-merge
- 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 = --disable-install-shared-mime-info --enable-faketime