equal
deleted
inserted
replaced
38 line = line.replace(BUILDNO_TAG, buildno_str) |
38 line = line.replace(BUILDNO_TAG, buildno_str) |
39 g.write(line) |
39 g.write(line) |
40 |
40 |
41 def update_header(header_file, buildno): |
41 def update_header(header_file, buildno): |
42 print 'Writing %s' % header_file |
42 print 'Writing %s' % header_file |
43 buildno_str = '// Build number generated by increment_buildno.py, do not edit manually\r\n#define BUILD_NO %d' % buildno |
43 buildno_str = '// Build number generated by increment_buildno.py, do not edit manually\r\n#define BUILD_NO %d\r\n' % buildno |
44 |
44 |
45 f = open(header_file, 'w') |
45 f = open(header_file, 'w') |
46 f.write(buildno_str) |
46 f.write(buildno_str) |
47 f.close() |
47 f.close() |
48 return buildno |
48 return buildno |