> echo time make -j4 -s KCFLAGS=-gsplit-dwarf > time make -j4 -s KCFLAGS=-gsplit-dwarf > echo time make -j4 -s KCFLAGS=-g > time make -j4 -s KCFLAGS=-g > echo time make -j4 -s KCFLAGS=-gsplit-dwarf > time make -j4 -s KCFLAGS=-gsplit-dwarf > echo time make -j4 -s KCFLAGS=-g > time make -j4 -s KCFLAGS=-g > echo time make -j4 -s KCFLAGS=-gsplit-dwarf > time make -j4 -s KCFLAGS=-gsplit-dwarf > echo time make -j4 -s KCFLAGS=-g > time make -j4 -s KCFLAGS=-g > > The figures are from last run - but the other runs had compareable times. > So in short I see a ~3 seconds speedup - out of 210 seconds. > Thats less than I anticipated. Thanks. How much smaller is it? Just saving disk space is a good thing. -Andi -- ak@xxxxxxxxxxxxxxx -- Speaking for myself only. -- To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html