|
|
@@ -83,8 +83,8 @@ def make_tarball(
|
|
|
rmtree( sources_dir )
|
|
|
raise
|
|
|
|
|
|
- timestamp = time.gmtime()
|
|
|
- timestamped_dir_name = 'boost-%s-%s' % ( tag, time.strftime( '%y-%m-%d-%H%M', timestamp ) )
|
|
|
+ timestamp = time.time()
|
|
|
+ timestamped_dir_name = 'boost-%s-%s' % ( tag, time.strftime( '%y-%m-%d-%H%M', time.gmtime( timestamp ) ) )
|
|
|
timestamped_dir = os.path.join( working_dir, timestamped_dir_name )
|
|
|
|
|
|
utils.log( 'Renaming "%s" to "%s"...' % ( sources_dir, timestamped_dir ) )
|
|
|
@@ -102,7 +102,7 @@ def make_tarball(
|
|
|
|
|
|
tarball_timestamp_path = os.path.join( working_dir, 'boost-%s.timestamp' % tag )
|
|
|
timestamp_file = open( tarball_timestamp_path, 'w' )
|
|
|
- timestamp_file.write( '%f' % time.mktime( timestamp ) )
|
|
|
+ timestamp_file.write( '%f' % timestamp )
|
|
|
timestamp_file.close()
|
|
|
|
|
|
if site_dir is not None:
|