On Friday, July 13, 2012 2:00:36 PM UTC+1, Javier López Peña wrote:
>
> Maybe I am saying something stupid here, but cannot you just change the 
> first line to this?
>  #!/usr/bin/make -f -k
>

Sorry, that should be
 #!/usr/bin/make -k -f
 

-- 
-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to