diff options
| author | Gabe Black <gabeblack@google.com> | 2018-10-09 16:22:47 -0700 |
|---|---|---|
| committer | Gabe Black <gabeblack@google.com> | 2018-10-16 01:16:20 +0000 |
| commit | f9596e536bbe2f1f19ad16cd7a1bfe2ff0ccd525 (patch) | |
| tree | 5be88d05edef488a5c5398f9851ce1c7d97a201b /util/pbs | |
| parent | 96a88fbeddb354cddfbbbcc905ba5bb84cf4dde1 (diff) | |
| download | gem5-f9596e536bbe2f1f19ad16cd7a1bfe2ff0ccd525.tar.xz | |
systemc: Don't include the scheduler in an external header file.
The scheduler is an internal detail and shouldn't be exposed to the
headers in ext. It would transitively include more headers which are
not in ext, making it not self contained.
Change-Id: I8384cde9d19363953ffd0c91e7d8d27f8f79a570
Reviewed-on: https://gem5-review.googlesource.com/c/13336
Reviewed-by: Gabe Black <gabeblack@google.com>
Maintainer: Gabe Black <gabeblack@google.com>
Diffstat (limited to 'util/pbs')
0 files changed, 0 insertions, 0 deletions