Precedenza nelle regole di inferenza
Aggiornamento: novembre 2007
Se una regola di inferenza è definita più volte, viene utilizzata la definizione con precedenza più alta. Nell'elenco che segue è indicato l'ordine di precedenza delle definizioni dalla più alta alla più bassa:
Una regola di inferenza definita in un makefile. Le definizioni più recenti hanno la precedenza.
Una regola di inferenza definita in Tools.ini. Le definizioni più recenti hanno la precedenza.
Una regola di inferenza già definita.