help-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Using GNU make jobserver from GCC


From: Mason
Subject: Re: Using GNU make jobserver from GCC
Date: Mon, 19 May 2014 10:13:42 +0200
User-agent: Mozilla/5.0 (Windows NT 5.1; rv:29.0) Gecko/20100101 Firefox/29.0 SeaMonkey/2.26

Jan Hubicka wrote:

> I assume real world implementation will be slightly trickier, since
> one needs to take care i.e. of cases where GCC crashes or return
> early, right?

(This is one of my pet peeves, please forgive me for barging in.)

You meant e.g. (exempli gratia, literally "for the sake of an example")
instead of i.e. (id est, "that is to say", "in other words") which is
used to introduce a clarification or explanation.

https://en.wiktionary.org/wiki/exempli_gratia
https://en.wiktionary.org/wiki/id_est

-- 
Regards.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]