annotate lisp/w3/custom-check @ 44:8d2a9b52c682 r19-15prefinal

Import from CVS: tag r19-15prefinal
author cvs
date Mon, 13 Aug 2007 08:55:10 +0200
parents c53a95d3c46d
children 6a22abad6937
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
36
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
1 #!/bin/sh
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
2 EMACS=${1:-emacs}
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
3 if [ -z "$HOME" ]; then
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
4 HOME=`(cd ; pwd)`
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
5 fi
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
6
44
8d2a9b52c682 Import from CVS: tag r19-15prefinal
cvs
parents: 36
diff changeset
7 WITH=` ${EMACS} -batch -l ${HOME}/.emacs -eval '(princ (file-truename (locate-library "custom")))'`
8d2a9b52c682 Import from CVS: tag r19-15prefinal
cvs
parents: 36
diff changeset
8 WITHOUT=`${EMACS} -batch -q -no-site-file -l docomp.el -eval '(princ (file-truename (locate-library "custom")))'`
36
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
9
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
10 if [ "${WITH}" = "${WITHOUT}" ]; then
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
11 exit 0
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
12 else
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
13 echo "WARNING -- WARNING -- WARNING"
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
14 echo "Found custom in different places with and without ${HOME}/.emacs"
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
15 echo
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
16 echo "This could cause potential problems. Please recompile with"
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
17 echo "the environment variable WIDGETDIR set correctly. Try this"
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
18 echo "command:"
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
19 echo "make WIDGETDIR=${WITH}"
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
20 exit 1
c53a95d3c46d Import from CVS: tag r19-15b101
cvs
parents:
diff changeset
21 fi