axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] build-improvements on cygwin


From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] build-improvements on cygwin
Date: 29 Nov 2006 00:45:01 +0100

"Page, Bill" <address@hidden> writes:

| On Tuesday, November 28, 2006 6:00 PM Gaby wrote:
| 
| > Ben Collins-Sussman writes:
| > ... 
| > | I can reset the google repository to revision 0 if you'd like.
| > 
| > That would be very much appreciated.
| > 
| > Bill, before your mirror to the next new repo, please let me
| > make sure that we don't store gcl and noweb as .tar.gz anymore.
| > 
| 
| Yes, we discussed this previously and I had agreed to commit a
| change so that both gcl and noweb appear as source in a new 'tools'
| directory. I am sorry that I have not yet had time to do this.
| I now think we should do this at the same time as merging silver
| and trunk so that we can completely get rid of the zips directory.
| 
| But of course this is not the real cause of the disk space problems
| which is really the duplication that you identified in your previous
| message - it just makes it a bit worse.

Yes.

| So as a first step I will temporarily disable the cron job that runs
| the 'svk smerge' to Google. Ok?

I agree.

| But I am still concerned that even after we get things cleaned up
| in the SourceForge SVN, then we should not depend on 'svk smerge'
| to initially re-populate the repository at Google since that is
| likely to cause excessive disk space utilization again. However
| I think that once populated via 'svnadmin load', using svk smerge
| is probably ok provided I don't decide to do something stupid again...

I would think so; but I would very much welcome Ben's input here about
the best way to avoid the duplicate trees (maybe keep history only
after the repopulation?)

-- Gaby




reply via email to

[Prev in Thread] Current Thread [Next in Thread]