Delete src/oldmem.

util/make_release.py:
    src/oldmem gone from repo, no need to delete here.

--HG--
extra : convert_revision : 570fa1b8d7144376cf13a010160a39d1c1cccbc2

diff --git a/util/make_release.py b/util/make_release.py
index 47b6678fe80bad6960176b2aca207c03de0c8c3b..f07bafe3b655b2926aacdc621be294f56de96261 100755 (executable)
--- 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')