[m-rev.] diff: make analysis_status files grade-dependent

[Peter Wang]

Branches: main

compiler/file_names.m:
	Make `.analysis_status' files grade-dependent.

diff --git a/compiler/file_names.m b/compiler/file_names.m
index ee81c9b..729bd71 100644
--- a/compiler/file_names.m
+++ b/compiler/file_names.m
@@ -484,6 +484,7 @@ file_is_arch_or_grade_dependent_2(".trans_opt").
 file_is_arch_or_grade_dependent_2(".trans_opt_date").
 file_is_arch_or_grade_dependent_2(".analysis").
 file_is_arch_or_grade_dependent_2(".analysis_date").
+file_is_arch_or_grade_dependent_2(".analysis_status").
 file_is_arch_or_grade_dependent_2(".imdg").
 file_is_arch_or_grade_dependent_2(".init").
 file_is_arch_or_grade_dependent_2(".request").


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------