summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSteve Reinhardt <stever@eecs.umich.edu>2006-12-03 01:11:24 -0500
committerSteve Reinhardt <stever@eecs.umich.edu>2006-12-03 01:11:24 -0500
commit711dc47e8c002084ac71b9e40e7c4a66ecb12e32 (patch)
tree979e75f0569dd40cf78a2c931e376c091ecbc0cd
parentc0f21b09c81e5562a916f7cb562a7df7f7709f4a (diff)
downloadgem5-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-xutil/make_release.py1
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')