instant team mailing list archive
-
instant team
-
Mailing list archive
-
Message #00422
[HG instant] Prepend source_directory to sources, wrap_headers, and local_headers for checksum calculation.
One or more new changesets pushed to the primary instant repository.
A short summary of the last three changesets is included below.
changeset: 295:92ed546452358f7ebb49710eccae2faba91feca0
tag: tip
user: Ilmar Wilbers <ilmarw@xxxxxxxxx>
date: Fri Apr 17 16:49:15 2009 +0200
files: src/instant/build.py
description:
Prepend source_directory to sources, wrap_headers, and local_headers for checksum calculation.
changeset: 294:ecf1c0a21ea4bfdca7aaf71619668caeb3989b89
user: Ilmar Wilbers <ilmarw@xxxxxxxxx>
date: Fri Apr 17 16:07:39 2009 +0200
files: src/instant/build.py
description:
Add source_directory to debug output.
changeset: 293:65597053892db397c1098d812ea1e72c38cdb9e7
user: Ilmar Wilbers <ilmarw@xxxxxxxxx>
date: Thu Apr 16 14:15:20 2009 +0200
files: tests/run_omp_test.sh
description:
Reflect file name change in test script.
----------------------------------------------------------------------
For more details, visit http://www.fenics.org/hg/instant
Follow ups