From 4152f39b616b3b7c2692f7dfcc9ce0f294d0385c Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Sat, 26 Jan 2019 18:14:21 -0500
Subject: Update update-compat.py script

It now removes the outdated `CompatOldOldFlag.v` file on `--release`,
and it now correctly updates `bug_9166.v` which seems to specifically be
about the compat flag behavior.

Additionally, it inserts an "autogenerated" notice at top of the two bug
files, and makes them read-only.
---
 test-suite/bugs/closed/bug_4798.v | 2 ++
 test-suite/bugs/closed/bug_9166.v | 2 ++
 2 files changed, 4 insertions(+)

(limited to 'test-suite')

diff --git a/test-suite/bugs/closed/bug_4798.v b/test-suite/bugs/closed/bug_4798.v
index 41a1251ca5..696812dee1 100644
--- a/test-suite/bugs/closed/bug_4798.v
+++ b/test-suite/bugs/closed/bug_4798.v
@@ -1,3 +1,5 @@
+(* DO NOT MODIFY THIS FILE DIRECTLY *)
+(* It is autogenerated by dev/tools/update-compat.py. *)
 Check match 2 with 0 => 0 | S n => n end.
 Notation "|" := 1 (compat "8.7").
 Check match 2 with 0 => 0 | S n => n end. (* fails *)
diff --git a/test-suite/bugs/closed/bug_9166.v b/test-suite/bugs/closed/bug_9166.v
index 8a7e9c37b0..a89837dd12 100644
--- a/test-suite/bugs/closed/bug_9166.v
+++ b/test-suite/bugs/closed/bug_9166.v
@@ -1,3 +1,5 @@
+(* DO NOT MODIFY THIS FILE DIRECTLY *)
+(* It is autogenerated by dev/tools/update-compat.py. *)
 Set Warnings "+deprecated".
 
 Notation bar := option (compat "8.7").
-- 
cgit v1.2.3