[gem5-dev] Change in public/gem5[master]: scons: Override the "default" tool to set up the default env.

Gabe Black has submitted this change and it was merged. ( https://gem5-review.googlesource.com/5562 ) Change subject: scons: Override the "default" tool to set up the default env. .. scons: Override the "default" tool to

[gem5-dev] Change in public/gem5[master]: scons: Override the "default" tool to set up the default env.

Hello Jason Lowe-Power, I'd like you to reexamine a change. Please visit https://gem5-review.googlesource.com/5562 to look at the new patch set (#3). Change subject: scons: Override the "default" tool to set up the default env.

[gem5-dev] Change in public/gem5[master]: scons: Override the "default" tool to set up the default env.

Hello Jason Lowe-Power, I'd like you to reexamine a change. Please visit https://gem5-review.googlesource.com/5562 to look at the new patch set (#2). Change subject: scons: Override the "default" tool to set up the default env.

[gem5-dev] Change in public/gem5[master]: scons: Override the "default" tool to set up the default env.

Gabe Black has uploaded this change for review. ( https://gem5-review.googlesource.com/5562 Change subject: scons: Override the "default" tool to set up the default env. .. scons: Override the "default" tool to set up the