[Swift-devel] provenance

[Mihael Hategan]

It has been pointed out by Ketan in a bug report that there already is
an option in swift.properties related to whether provenance should be
logger or not, so I removed the flag mentioned below and changed the
code to use the property instead to control whether the kml will contain
provenance stuff.

Sorry for the mix-up.

Mihael

On Tue, 2011-07-05 at 12:15 -0500, Mihael Hategan wrote:
> In trunk provenance inside the compiled file is disabled by default. It
> is my understanding that it was more common for it to not be used than
> otherwise, but if this isn't so, let me know.
> 
> It can be enabled with "-enable.provenance" on the swift command line.
> 
> 
> 
> _______________________________________________
> Swift-devel mailing list
> Swift-devel at ci.uchicago.edu
> https://lists.ci.uchicago.edu/cgi-bin/mailman/listinfo/swift-devel