#14055: Fix sage-cleaner
----------------------------------+-----------------------------------------
       Reporter:  jdemeyer        |         Owner:  leif                        
 
           Type:  defect          |        Status:  needs_review                
 
       Priority:  critical        |     Milestone:  sage-5.9                    
 
      Component:  scripts         |    Resolution:                              
 
       Keywords:                  |   Work issues:                              
 
Report Upstream:  N/A             |     Reviewers:  John Palmieri, Leif 
Leonhardy
        Authors:  Jeroen Demeyer  |     Merged in:                              
 
   Dependencies:                  |      Stopgaps:                              
 
----------------------------------+-----------------------------------------

Comment (by leif):

 Replying to [comment:37 leif]:
 > With (Ubuntu 10.04.4's) GNU Make 3.81, I do get the orphans, while I
 don't get them with (vanilla) GNU Make 3.82.  (I haven't found any
 particularly interesting change in 3.82's NEWS.)
 >
 > Still, at least John Cremona reported getting the orphans on Ubuntu
 12.04 as well, and I strongly doubt Precise still ships GNU Make 3.81
 (released 2006, while 3.82 was released in 2010, although Ubuntu might
 [still] patch its version, haven't checked that).  And we currently don't
 require the latest version of GNU Make either.

 Oh, indeed at least Ubuntu 12.04.1 LTS still has (some?) GNU Make 3.81 ...
 m)

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14055#comment:38>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to