oddity building ports with archiving

[Rainer Müller]

On 2009-09-17 16:43 , Anders F Björklund wrote:
> Jeremy Lavergne wrote:
> 
>>> So yeah, you will have to clean it manually - there is no "force"  
>>> or "rearchive" option yet.
>>
>> To do so:
>> sudo port clean --archive PORTNAME
> 
> That was the inferred "manual" part.
> 
> But no option to the archive command ?

Are you thinking of something like archive --overwrite PORTNAME? That
does not exist yet, but I think that would be a good idea.

Rainer