36
|
1 #!/bin/sh
|
|
2 EMACS=${1:-emacs}
|
|
3 if [ -z "$HOME" ]; then
|
|
4 HOME=`(cd ; pwd)`
|
|
5 fi
|
|
6
|
44
|
7 WITH=` ${EMACS} -batch -l ${HOME}/.emacs -eval '(princ (file-truename (locate-library "custom")))'`
|
|
8 WITHOUT=`${EMACS} -batch -q -no-site-file -l docomp.el -eval '(princ (file-truename (locate-library "custom")))'`
|
36
|
9
|
|
10 if [ "${WITH}" = "${WITHOUT}" ]; then
|
|
11 exit 0
|
|
12 else
|
|
13 echo "WARNING -- WARNING -- WARNING"
|
|
14 echo "Found custom in different places with and without ${HOME}/.emacs"
|
|
15 echo
|
|
16 echo "This could cause potential problems. Please recompile with"
|
|
17 echo "the environment variable WIDGETDIR set correctly. Try this"
|
|
18 echo "command:"
|
|
19 echo "make WIDGETDIR=${WITH}"
|
|
20 exit 1
|
|
21 fi
|