i'm confused ... try both of the following: $ grep -r aflags- * $ grep -r asflags- * so which one is the standard? and for added entertainment, $ grep -r extra-aflags-x * that seems just wrong. rday -- ======================================================================== Robert P. J. Day Linux Consulting, Training and Annoying Kernel Pedantry: Have classroom, will lecture. http://crashcourse.ca Waterloo, Ontario, CANADA ======================================================================== - 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