diff lib-src/update-elc.sh @ 14:9ee227acff29 r19-15b90

Import from CVS: tag r19-15b90
author cvs
date Mon, 13 Aug 2007 08:48:42 +0200
parents bcdc7deadc19
children 0293115a14e9
line wrap: on
line diff
--- a/lib-src/update-elc.sh	Mon Aug 13 08:48:18 2007 +0200
+++ b/lib-src/update-elc.sh	Mon Aug 13 08:48:42 2007 +0200
@@ -54,7 +54,7 @@
 
 
 REAL=`cd \`dirname $EMACS\` ; pwd | sed 's|^/tmp_mnt||'`/`basename $EMACS`
-BYTECOMP="$REAL -batch -q -no-site-file -l bytecomp"
+BYTECOMP="$REAL -batch -q -no-site-file "
 echo "Recompiling in `pwd|sed 's|^/tmp_mnt||'`"
 echo "          with $REAL..."
 
@@ -114,7 +114,6 @@
 \!/tm/!d
 \!/tl/!d
 \!/mel/!d
-\!/url/!d
 \!/viper/!d
 \!/vm/!d
 \!/w3/!d
@@ -153,11 +152,6 @@
 ( cd lisp/gnus ; make EMACS=$REAL some )
 echo Gnus done.
 
-# This is really part of w3.
-echo Compiling URL...
-( cd lisp/url ; make EMACS=$REAL )
-echo URL done.
-
 # and gee w3 has its own makefile as well
 # (no especial need to use it, though)
 echo Compiling W3...