[m-rev.] update .cvsignore files

[Julien Fischer]

analysis/.cvsignore:
browser/.cvsignore:
compiler/.cvsignore:
profiler/.cvsignore:
	Make cvs ignore .opt, .trans_opt and related files.

Julien.

Index: analysis/.cvsignore
===================================================================
RCS file: /home/mercury1/repository/mercury/analysis/.cvsignore,v
retrieving revision 1.3
diff -u -r1.3 .cvsignore
--- analysis/.cvsignore	21 May 2003 15:31:06 -0000	1.3
+++ analysis/.cvsignore	22 Jul 2004 14:19:14 -0000
@@ -20,6 +20,9 @@
 *.mh
 *.mih
 *.*_date
+*.opt
+*.optdate
+*.trans_opt
 mer_analysis.init
 Mercury
 *.ilk
Index: browser/.cvsignore
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/.cvsignore,v
retrieving revision 1.21
diff -u -r1.21 .cvsignore
--- browser/.cvsignore	16 Apr 2004 05:15:39 -0000	1.21
+++ browser/.cvsignore	22 Jul 2004 14:14:49 -0000
@@ -15,6 +15,10 @@
 *.date0
 *.date3
 *.pic_o
+*.opt
+*.optdate
+*.trans_opt
+*.trans_opt_date
 mdb*.h
 mdb*.mh
 mdb*.mih
Index: compiler/.cvsignore
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/.cvsignore,v
retrieving revision 1.23
diff -u -r1.23 .cvsignore
--- compiler/.cvsignore	9 Feb 2004 04:52:34 -0000	1.23
+++ compiler/.cvsignore	22 Jul 2004 14:12:19 -0000
@@ -34,3 +34,7 @@
 *.mh
 *.mih
 Mercury.modules
+*.opt
+*.optdate
+*.trans_opt
+*.trans_opt_date
Index: profiler/.cvsignore
===================================================================
RCS file: /home/mercury1/repository/mercury/profiler/.cvsignore,v
retrieving revision 1.12
diff -u -r1.12 .cvsignore
--- profiler/.cvsignore	21 May 2003 15:31:21 -0000	1.12
+++ profiler/.cvsignore	22 Jul 2004 14:16:20 -0000
@@ -14,6 +14,9 @@
 *.int3
 *.date
 *.date3
+*.opt
+*.optdate
+*.trans_opt
 *.*_date
 mercury_profile
 mercury_profile.dep

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------