instant team mailing list archive

Thread
Date

Re: [HG instant] Moved use_cache from global option to create_extension, removed global COPY_LOCAL_FILES (why was this different from USE_CACHE?).

To: Instant <instant@xxxxxxxxxx>
From: "Martin Sandve Alnæs" <martinal@xxxxxxxxx>
Date: Mon, 11 Aug 2008 15:05:12 +0200
Cc: instant-dev@xxxxxxxxxx
Delivered-to: instant-dev@xxxxxxxxxx
In-reply-to: <20080811125458.AE46D29424@communalis.simula.no>
Sender: martin.alnes@xxxxxxxxx

2008/8/11 Instant <instant@xxxxxxxxxx>:
> One or more new changesets pushed to the primary instant repository.
> A short summary of the last three changesets is included below.
>
> changeset:   180:b910c8011edd28095fb13098d9e281df04c75494
> tag:         tip
> user:        Ilmar Wilbers <ilmarw@xxxxxxxxx>
> date:        Mon Aug 11 14:54:56 2008 +0200
> files:       src/instant.py
> description:
> Moved use_cache from global option to create_extension, removed global COPY_LOCAL_FILES (why was this different from USE_CACHE?).
>

Because Anders wanted different instant-behaviour for FFC than SFC
relied on. I'm expecting that something broke now, will test...

--
Martin

Follow ups

Re: [HG instant] Moved use_cache from global option to create_extension, removed global COPY_LOCAL_FILES (why was this different from USE_CACHE?).
From: Ilmar Wilbers, 2008-08-11

References

[HG instant] Moved use_cache from global option to create_extension, removed global COPY_LOCAL_FILES (why was this different from USE_CACHE?).
From: Instant, 2008-08-11