[m-rev.] for review: don't remove grade files after installing

[Simon Taylor]

On 04-Dec-2006, Peter Wang <wangp at students.csse.unimelb.edu.au> wrote:
> On 2006-12-04, Simon Taylor <staylr at gmail.com> wrote:
> > 
> > Also, you missed a spot.  If the user interrupts the installation
> > the call to build_with_check_for_interrupt in install_library_grade
> > will call make_grade_clean (which I just noticed will always clean
> > up the files for the default grade, not the grade being installed).
> 
> This should fix that.
> 
> 
> Estimated hours taken: 1
> Branches: main
> 
> compiler/make.program_target.m:
> 	Fix behaviour when a library grade installation is interrupted.
> 	It used to clean the default grade instead of the grade that was
> 	interrupted.

Great, thanks.

Simon.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------