diff lib-src/update-elc.sh @ 2:ac2d302a0011 r19-15b2

Import from CVS: tag r19-15b2
author cvs
date Mon, 13 Aug 2007 08:46:35 +0200
parents 376386a54a3c
children bcdc7deadc19
line wrap: on
line diff
--- a/lib-src/update-elc.sh	Mon Aug 13 08:45:53 2007 +0200
+++ b/lib-src/update-elc.sh	Mon Aug 13 08:46:35 2007 +0200
@@ -17,6 +17,7 @@
 ##  'era-specific' instead.)
 
 set -eu
+unset MAKEFLAGS   # GNU make sets MAKEFLAGS to -w; confuses non-GNU make
 
 # This means we're running in a Sun workspace
 if [ -d ../era-specific ]; then