Bill Allombert on Thu, 20 Jun 2002 19:36:33 +0200

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

add cvs date in GP status

Hello PARI cvs users,

if you sometime 'make install' pari CVS version, you may want to apply the
following patch.

This change the GP header to read

          GP/PARI CALCULATOR Version 2.2.4 (development cvs-20020620)
(if we are the 2002 06 20 that is) so you know which version you use.
Also if you report a bug we have a better chance to know what happen. It is
easy to recover the CVS tree as of a specific date.

Should I commit it ?? it is a bit too simple-minded.


Index: config/version
RCS file: /home/megrez/cvsroot/pari/config/version,v
retrieving revision 1.22
diff -u -r1.22 version
--- config/version      2002/06/12 16:19:17     1.22
+++ config/version      2002/06/20 17:29:16
@@ -10,5 +10,9 @@
 # Status: alpha, beta, released, development

+if test -d CVS; then
+  status=`date +"$status cvs-%Y%m%d"`
 # soname of stable is$soname_num