commit 9e608a6ad7a965a08798ba25822b5da7cd17d7a0
author Gabe Black <gblack@eecs.umich.edu> Tue Mar 01 03:00:42 2011 -0800
committer Gabe Black <gblack@eecs.umich.edu> Tue Mar 01 03:00:42 2011 -0800
tree 039e4f078991bce00f61e28d4c682d51132fb172
parent 993e83ef805aaecb0d9483b23f3ce50ba0ce06dd

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.