2020-01-31 21:08:27 +01:00

17 lines
283 B
Python

import os
FILENAME_VERSION_H = 'src/version.h'
version = os.environ.get('GITHUB_REF')
if version == None:
version = "SNAPSHOT"
import datetime
hf = """
#ifndef VERSION
#define VERSION "{}"
#endif
""".format(version)
with open(FILENAME_VERSION_H, 'w+') as f:
f.write(hf)