diff options
author | Nathan Binkert <binkertn@umich.edu> | 2007-04-27 12:15:25 -0700 |
---|---|---|
committer | Nathan Binkert <binkertn@umich.edu> | 2007-04-27 12:15:25 -0700 |
commit | b5037ad82b954a86102cc03325a12c755c59f347 (patch) | |
tree | 254ebcd583a9f4d54ae64850f877cc6537b996fb | |
parent | ee188e88cd1f8c81e624cf5cfc29657a262fe531 (diff) | |
download | gem5-b5037ad82b954a86102cc03325a12c755c59f347.tar.xz |
Actually move the time two minutes into the future to make sure
that we get the result that we want
--HG--
extra : convert_revision : d3e1aca921705fe8c8b955229c2afcd2aa9b36ea
-rwxr-xr-x | util/make_release.py | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/util/make_release.py b/util/make_release.py index 250ee56ac..09629a78a 100755 --- a/util/make_release.py +++ b/util/make_release.py @@ -33,6 +33,7 @@ import os import re import shutil import sys +import time from glob import glob from os import system @@ -42,9 +43,10 @@ def mkdir(*args): path = joinpath(*args) os.mkdir(path) -def touch(*args): +def touch(*args, **kwargs): + when = kwargs.get('when', None) path = joinpath(*args) - os.utime(path, None) + os.utime(path, when) def rmtree(*args): path = joinpath(*args) @@ -110,12 +112,17 @@ mkdir(encumbered_dir) system('bk export -tplain -w -r+ %s' % release_dir) + +# move the time forward on some files by a couple of minutes so we can +# avoid building things unnecessarily +when = int(time.time()) + 120 + # make sure scons doesn't try to run flex unnecessarily -touch(release_dir, 'src/encumbered/eio/exolex.cc') +touch(release_dir, 'src/encumbered/eio/exolex.cc', when=(when, when)) -# make sure scons doesn't try to rebuild the de.msg file since it +# make sure libelf doesn't try to rebuild the de.msg file since it # might fail on non linux machines -touch(release_dir, 'ext/libelf/po/de.msg') +touch(release_dir, 'ext/libelf/po/de.msg', when=(when, when)) # get rid of non-shipping code rmtree(release_dir, 'src/encumbered/dev') |