[gem5-dev] Change in gem5/gem5[develop]: scons: Replace the extname property with os.path.splitext().

Gabe Black has submitted this change. ( https://gem5-review.googlesource.com/c/public/gem5/+/48122 ) Change subject: scons: Replace the extname property with os.path.splitext(). .. scons: Replace the extname property with os.p

[gem5-dev] Change in gem5/gem5[develop]: scons: Replace the extname property with os.path.splitext().

Gabe Black has uploaded this change for review. ( https://gem5-review.googlesource.com/c/public/gem5/+/48122 ) Change subject: scons: Replace the extname property with os.path.splitext(). .. scons: Replace the extname propert