[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: #line format
|
From: |
Paul Eggert |
|
Subject: |
Re: #line format |
|
Date: |
Fri, 12 Apr 2002 10:36:11 -0700 (PDT) |
> From: Akim Demaille <address@hidden>
> Date: 12 Apr 2002 10:02:44 +0200
> The information I was lacking is that only #line LINE "FILE" is
> standard,
Did I give that impression? Sorry, I didn't mean to. `#line LINE'
without `"FILE"' is also standard. It doesn't mean what you wanted it
to mean, but it does have a standard meaning.