💄
This commit is contained in:
parent
4914dd67b6
commit
e8ecbec3a7
2 changed files with 4 additions and 4 deletions
|
@ -41,12 +41,12 @@ def main():
|
||||||
rm_rf(DIST_DIR)
|
rm_rf(DIST_DIR)
|
||||||
os.makedirs(DIST_DIR)
|
os.makedirs(DIST_DIR)
|
||||||
|
|
||||||
# force_build()
|
force_build()
|
||||||
# copy_binaries()
|
copy_binaries()
|
||||||
copy_headers()
|
copy_headers()
|
||||||
copy_license()
|
copy_license()
|
||||||
create_version()
|
create_version()
|
||||||
# create_zip()
|
create_zip()
|
||||||
create_header_tarball()
|
create_header_tarball()
|
||||||
|
|
||||||
|
|
||||||
|
|
|
@ -40,7 +40,7 @@ def dist_newer_than_head():
|
||||||
try:
|
try:
|
||||||
head_time = subprocess.check_output(['git', 'log', '--pretty=format:%at',
|
head_time = subprocess.check_output(['git', 'log', '--pretty=format:%at',
|
||||||
'-n', '1']).strip()
|
'-n', '1']).strip()
|
||||||
dist_time = os.path.getmtime(os.path.join(SOURCE_ROOT, 'atom-shell.zip'))
|
dist_time = os.path.getmtime(os.path.join(DIST_DIR, 'atom-shell.zip'))
|
||||||
except OSError as e:
|
except OSError as e:
|
||||||
if e.errno != errno.ENOENT:
|
if e.errno != errno.ENOENT:
|
||||||
raise
|
raise
|
||||||
|
|
Loading…
Reference in a new issue