#!/usr/bin/env python import sys build_id = open(sys.argv[2], 'w') build_id.write( """// This file was generated by gen_buildid.py // Do not edit #include "common/const.h" namespace consts { const char * buildTime = __TIME__; const char * buildDate = __DATE__; const char * buildId = "%s"; } """ % sys.argv[1]) build_id.close() # tail -n 1 ChangeLog | sed "s/^.* 1\.\([0-9]*\).*$/\1/"