instant team mailing list archive
-
instant team
-
Mailing list archive
-
Message #00036
[HG instant] when using USE_CACHE nothing is stored in the working directory
One or more new changesets pushed to the primary instant repository.
A short summary of the last three changesets is included below.
changeset: 113:c35667fd48a99c0eb28d6cb957dcb1dcd5e44ca0
tag: tip
user: kent-and@localhost
date: Wed Dec 12 12:08:39 2007 +0100
files: src/instant.py tests/clean.sh
description:
when using USE_CACHE nothing is stored in the working directory
COPY is not used anymore, use USE_CACHE instead
changeset: 112:c43935727fe05dbbabbc751ffdec72dd9e928e98
user: kent-and@localhost
date: Tue Dec 11 15:22:54 2007 +0100
files: src/instant.py tests/clean.sh
description:
added optimization flag
changeset: 111:7a8e32b36d569cd3dcbb253177e7d56c9518ee33
user: kent-and@localhost
date: Fri Dec 07 12:07:02 2007 +0100
files: src/instant.py
description:
bug fix
----------------------------------------------------------------------
For more details, visit http://www.fenics.org/hg/instant
Follow ups