Changeset c874cb in git

Timestamp:

Jul 12, 2010, 2:22:53 PM (13 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'f875bbaccd0831e36aaed09ff6adeb3eb45aeb94')

Children:

53f204db47ee058755a76f754ec4b8c21f0bce22

Parents:

68f5f1a1f054c3230d5e4cfa1635c6b1b9de674c

Message:

tr 241

git-svn-id: file:///usr/local/Singular/svn/trunk@12980 2c84dea3-7e68-4137-9b89-c4e89433aadc

Location:

Singular

Files:

• mpsr_Tok.cc (modified) (2 diffs)
• tesths.cc (modified) (2 diffs)

Singular/mpsr_Tok.cc

@@ -409 +409 @@
 
 // This actually generates the tables of mpsr_tok.inc
+char *mpsr_Tok_inc;
 void mpsr_ttGen()
 {
@@ -453 +454 @@
 
   // Generate the template file
-  outfile = myfopen("mpsr_Tok.xx", "w");
+  mpsr_Tok_inc=omStrDup("mpsr_Tok.xxxxxxxx");
+  int pid=getpid();
+  mpsr_Tok_inc[8]=(pid %10)+'0'; pid/=10;
+  mpsr_Tok_inc[9]=(pid %10)+'0'; pid/=10;
+  mpsr_Tok_inc[10]=(pid %10)+'0'; pid/=10;
+  mpsr_Tok_inc[11]=(pid %10)+'0'; pid/=10;
+  mpsr_Tok_inc[12]=(pid %10)+'0'; pid/=10;
+  mpsr_Tok_inc[13]=(pid %10)+'0';
+
+  outfile = myfopen(mpsr_Tok_inc, "w");
   if (outfile == NULL)
   {

Singular/tesths.cc

@@ -144 +144 @@
   extern void mpsr_ttGen(); // For initialization of (CMD, MP_COP) tables
   extern char *iparith_inc;
+  extern char *mpsr_Tok_inc;
   mpsr_ttGen();
   ttGen4();
@@ -150 +151 @@
   rename(iparith_inc,"iparith.inc");
   rename("plural_cmd.xx","plural_cmd.inc");
-  rename("mpsr_Tok.xx","mpsr_Tok.inc");
+  rename(mpsr_Tok_inc,"mpsr_Tok.inc");
 #else
   // Don't worry: ifdef OM_NDEBUG, then all these calls are undef'ed