Various bits of SAGE unset 'MAKE', mainly to stop parallel builds. That's a
nuisance to someone that might want to use a version of 'make' different from
the first one in their path.
A simple way around this, is the following bit of code, which preserves the
name or path of the make command, but ignores any options it might have.
#!/bin/sh
echo "MAKE is currently $MAKE"
MAKE=`echo $MAKE | awk '{print $1}'`
echo "MAKE is now $MAKE"
Let's see it in use:
drkir...@hawk:~$ export MAKE="/usr/sfw/bin/gmake -j 100"
drkir...@hawk:~$ ./unsetmake.sh
MAKE is currently /usr/sfw/bin/gmake -j 100
MAKE is now /usr/sfw/bin/gmake
--
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
