Delete src/oldmem.
util/make_release.py: src/oldmem gone from repo, no need to delete here. --HG-- extra : convert_revision : 570fa1b8d7144376cf13a010160a39d1c1cccbc2
This commit is contained in:
parent
c0f21b09c8
commit
711dc47e8c
1 changed files with 0 additions and 1 deletions
|
@ -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')
|
||||
|
|
Loading…
Reference in a new issue