On 2013-01-10, Volker Braun <vbraun.n...@gmail.com> wrote: > ------=_Part_274_11050162.1357817552491 > Content-Type: text/plain; charset=ISO-8859-1 > > Bash caches path lookups. Try "hash -r" to invalidate the cache.
This didn't work: > hash -r > which gcc /usr/bin/gcc > ls -l /usr/local/bin/gcc lrwxrwxrwx 1 root root 6 10. Jan 10:29 /usr/local/bin/gcc -> ccache Best regards, Simon -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.