← Back to team overview

dolfin team mailing list archive

Thread
Date

Update makedist script (make install before check).

To: dolfin-dev@xxxxxxxxxx
From: dolfin@xxxxxxxxxx
Date: Thu, 15 Dec 2005 23:04:03 +0100
Reply-to: Discussion of DOLFIN development <dolfin-dev@xxxxxxxxxx>
Sender: Anders Logg <logg@xxxxxxxxxx>

Commit from logg (2005-12-15 23:04 CET)
----------------

Update makedist script (make install before check).

  dolfin  scripts/makedist  1.23