Re: [parisc-linux] Re: OK, let's try cleaning up another nit. Is anyone paying attention?

David Woodhouse (dwmw2@infradead.org)
Sat, 21 Apr 2001 13:32:13 +0100


esr@thyrsus.com said:
> If it can't be mechanically verified that the symbol has a correct
> reference pattern within the tree, then it's broken. That's a
> definition.

Here's an alternative definition:

If the symbol has the letters 'F', 'I', 'S' and 'H' in it, in any order,
then it's broken.

That's also a definition. It's not a particularly useful one, but neither
was yours.

/me looks for a way to equate the original definition with the halting
problem :)

--
dwmw2

- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/