[m-rev.] diff: fix problems with --track-flags

[Julien Fischer]

On Thu, 21 May 2009, Peter Wang wrote:

> Branches: main
>
> Fix problems with `--track-flags' feature.
>
> compiler/file_names.m:
> 	Make `.track_flags' files grade-dependent, otherwise you get
> 	unnecessary rebuilds when changing grades with
> 	"--use-grade-subdirs --track-flags".
>
> compiler/options.m:
> doc/user_guide.texi:
> 	Don't track build system options, otherwise you get unnecessary
> 	rebuilds just by changing things like the `--jobs <n>' value.

That's fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------