tree 039e4f078991bce00f61e28d4c682d51132fb172
parent 993e83ef805aaecb0d9483b23f3ce50ba0ce06dd
author Gabe Black <gblack@eecs.umich.edu> 1298977242 -0800
committer Gabe Black <gblack@eecs.umich.edu> 1298977242 -0800

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.