From: Simon Wright <simon@pushface.org>
Subject: Re: GPS Compiler options
Date: Fri, 09 Apr 2010 18:20:57 +0100
Date: 2010-04-09T18:20:57+01:00 [thread overview]
Message-ID: <m2pr28a6fa.fsf@pushface.org> (raw)
In-Reply-To: 58f925ee-9d4a-4773-98f9-24fe39a7adc1@r1g2000yqj.googlegroups.com
Ludovic Brenta <ludovic@ludovic-brenta.org> writes:
> I think gnatmake -m corrects this problem. With this option, gnatmake
> no longer relies on the timestamps but only on the CRC32 values in
> the .ali files.
I believe that it first compares the timestamps: if the same, no change,
but if different, does the ali check.
next prev parent reply other threads:[~2010-04-09 17:20 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-04-09 13:13 GPS Compiler options ldries46
2010-04-09 14:15 ` Ludovic Brenta
2010-04-09 14:26 ` Dmitry A. Kazakov
2010-04-09 15:10 ` sjw
2010-04-09 16:40 ` Ludovic Brenta
2010-04-09 17:20 ` Simon Wright [this message]
2010-04-09 17:46 ` Ludovic Brenta
2010-04-09 21:00 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox