diff options
| author | Steve Reinhardt <stever@eecs.umich.edu> | 2006-12-03 01:11:24 -0500 |
|---|---|---|
| committer | Steve Reinhardt <stever@eecs.umich.edu> | 2006-12-03 01:11:24 -0500 |
| commit | 711dc47e8c002084ac71b9e40e7c4a66ecb12e32 (patch) | |
| tree | 979e75f0569dd40cf78a2c931e376c091ecbc0cd | |
| parent | c0f21b09c81e5562a916f7cb562a7df7f7709f4a (diff) | |
| download | gem5-711dc47e8c002084ac71b9e40e7c4a66ecb12e32.tar.xz | |
Delete src/oldmem.
util/make_release.py:
src/oldmem gone from repo, no need to delete here.
--HG--
extra : convert_revision : 570fa1b8d7144376cf13a010160a39d1c1cccbc2
| -rwxr-xr-x | util/make_release.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/util/make_release.py b/util/make_release.py index 47b6678fe..f07bafe3b 100755 --- a/util/make_release.py +++ b/util/make_release.py @@ -122,7 +122,6 @@ rmtree(release_dir, 'src/mem/cache/prefetch/ghb_*.cc') rmtree(release_dir, 'src/mem/cache/prefetch/ghb_*.hh') rmtree(release_dir, 'src/mem/cache/prefetch/stride_*.cc') rmtree(release_dir, 'src/mem/cache/prefetch/stride_*.hh') -rmtree(release_dir, 'src/oldmem') rmtree(release_dir, 'configs/fullsys') rmtree(release_dir, 'configs/test') rmtree(release_dir, 'configs/splash2') |