Ralf Hemmecke wrote:
>
> > BTW: I noticed curious thing: on my build machine real time for
> > 'make all-input' after build in the htdoc branch seem to be 20s
> > larger (that 120s versus 100s) than real time in trunk.
>
> I haven't measured that myself, but note that there is the generation of
> the .ht files from .htex and a generation of some of the .help files.
> But what exactly means "'make all-input' after build"? I thought that
> I've stamped everything so that a remake should cost almost no time.
On the test machine I am doing build as follows:
time make -j 10 > mlogg 2>&1 && time make all-input > tst_logg 2>&1
Two times are reported: time for build and time for 'make all-input'.
I see only increase in _real_ time for 'make all-input'.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/groups/opt_out.
