|
|
|
last edited 10 years ago by test1 |
Edit detail for #57 Databases are not copied back revision 2 of 4
| 1 2 3 4 | ||
|
Editor: kratt6
Time: 2008/01/19 05:15:27 GMT-8 |
||
| Note: Fixed in Fricas | ||
added:
From kratt6 Sat Jan 19 05:15:27 -0800 2008
From: kratt6
Date: Sat, 19 Jan 2008 05:15:27 -0800
Subject: Fixed in Fricas
Message-ID: <20080119051527-0800@axiom-wiki.newsynthesis.org>
Status: open => fix proposed
In general I used to "copy back" the database from a successful build into the seed databases. I haven't implemented that machinery yet. If this turns out to fix the problem that Bill has found then we need to modify the makefiles to take this step.
Fixed in Fricas --kratt6, Sat, 19 Jan 2008 05:15:27 -0800 reply
Status: open => fix proposed