diff options
| author | Gabe Black <gblack@eecs.umich.edu> | 2011-03-01 03:00:42 -0800 |
|---|---|---|
| committer | Gabe Black <gblack@eecs.umich.edu> | 2011-03-01 03:00:42 -0800 |
| commit | 9e608a6ad7a965a08798ba25822b5da7cd17d7a0 (patch) | |
| tree | 039e4f078991bce00f61e28d4c682d51132fb172 /src/mem/ruby | |
| parent | 993e83ef805aaecb0d9483b23f3ce50ba0ce06dd (diff) | |
| download | gem5-9e608a6ad7a965a08798ba25822b5da7cd17d7a0.tar.xz | |
SCons: Separately label the global non-sticky options.
The global sticky options were being printed with a heading, and then the
global nonsticky options were being printed immediately after them without a
heading. Because the two lists ran together and the first had its own heading,
it looked like -all- those options where sticky even though some of them
aren't. This change adds a label to the second list so it's clear they're
different.
Diffstat (limited to 'src/mem/ruby')
0 files changed, 0 insertions, 0 deletions