David Woodhouse <dwmw2@xxxxxxxxxxxxx> writes: > That would be cute, but I'm not sure how to undefine something set on > the command line: > > $ cat > Makefile <<EOF > undefine BAR override undefine BAR Andreas. -- Andreas Schwab, schwab@xxxxxxxxxx GPG Key fingerprint = D4E8 DBE3 3813 BB5D FA84 5EC7 45C6 250E 6F00 984E "And now for something completely different." -- 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
