mirror of
https://github.com/freedoom/freedoom.git
synced 2025-09-01 13:25:46 -04:00
Retire VERSION file, put value into Makefile
This commit is contained in:
parent
4701d8f351
commit
180a11807b
4 changed files with 1 additions and 8 deletions
|
@ -34,9 +34,6 @@ json_file = os.getenv("JSON")
|
|||
if version is None:
|
||||
sys.stderr.write("Version is not specified for release\n")
|
||||
sys.exit(1)
|
||||
if version[0] is "v":
|
||||
# Strip the leading 'v' from versioning
|
||||
version = version[1:]
|
||||
|
||||
if json_file is None:
|
||||
sys.stderr.write("JSON file not specified!\n")
|
||||
|
|
|
@ -24,9 +24,6 @@ version = os.getenv("VERSION")
|
|||
if version is None:
|
||||
sys.stderr.write("Version not specified for release\n")
|
||||
sys.exit(1)
|
||||
if version[0] is "v":
|
||||
# Strip the leading 'v' from versioning
|
||||
version = version[1:]
|
||||
|
||||
path = os.path.dirname(FILES[0])
|
||||
basename = os.path.basename(FILES[0])
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue