diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2017-08-21 15:34:07 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2017-08-21 15:34:50 -0700 |
commit | 891bc9822bdd9893ddf2d4fd65fd53a5da001beb (patch) | |
tree | 32edbf675bde8ed4b92caf35f81fa477ad382e9e /make-dist | |
parent | 80fccd4290ae134bd1b3d377f134bb9143b68b43 (diff) | |
download | emacs-891bc9822bdd9893ddf2d4fd65fd53a5da001beb.tar.gz |
Port /bin/sh scripts to Solaris 10
Its /bin/sh builtin ‘test’ command does not support -e.
* autogen.sh, build-aux/git-hooks/pre-commit:
* build-aux/gitlog-to-emacslog, make-dist:
Use test -r, not test -e.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/make-dist b/make-dist index eb81a144ebf..b4667843ce4 100755 --- a/make-dist +++ b/make-dist @@ -240,7 +240,7 @@ if [ $check = yes ]; then bogosities= while read elc; do el=`echo $elc | sed 's/c$//'` - [ -e $el ] || continue + [ -r $el ] || continue [ $elc -nt $el ] || bogosities="$bogosities $elc" done < /tmp/elc @@ -278,7 +278,7 @@ if [ $check = yes ]; then info=`sed -n 's/^@setfilename //p' $texi | sed 's|.*info/||'` [ x"${info}" != x"" ] || continue info=info/$info - [ -e $info ] || continue + [ -r $info ] || continue [ $info -nt $texi ] || bogosities="$bogosities $info" done < /tmp/el @@ -292,7 +292,7 @@ if [ $check = yes ]; then ## This exits with non-zero status if any .info files need ## rebuilding. - if [ -e Makefile ]; then + if [ -r Makefile ]; then echo "Checking to see if info files are up-to-date..." make --question info || error=yes fi @@ -300,7 +300,7 @@ if [ $check = yes ]; then ## Is this a release? case $version in [1-9][0-9].[0-9]) - if [ -e ChangeLog ]; then + if [ -r ChangeLog ]; then if ! grep -q "Version $version released" ChangeLog; then echo "No release notice in ChangeLog" error=yes @@ -359,10 +359,10 @@ echo "Creating top directory: '${tempdir}'" mkdir ${tempdir} if [ "$changelog" = yes ]; then - if test -e .git; then + if test -r .git; then ## When making a release or pretest the ChangeLog should already ## have been created and edited as needed. Don't ignore it. - if test -e ChangeLog; then + if test -r ChangeLog; then echo "Using existing top-level ChangeLog" else echo "Making top-level ChangeLog" |