diff --git a/.gitignore b/.gitignore index 652f4dfe..754362d5 100644 --- a/.gitignore +++ b/.gitignore @@ -5,6 +5,8 @@ *.tar.gz *.rpm *.tdy +*.orig +*.rej # ignore autogenerated test files /tests/**/*.log diff --git a/Makefile b/Makefile index f38ae863..a07379b2 100644 --- a/Makefile +++ b/Makefile @@ -270,11 +270,11 @@ endif if [ 0 != $$? ] ; then \ RC=1; \ echo "saw mismatch for $$FILE"; \ - if [[ -f $$FILE.tdy && "$(UPDATE)x" != 'x' ]] ; then \ + if [ -f $$FILE.tdy -a "$(UPDATE)x" != 'x' ]; then \ echo "updating $$FILE"; \ mv $$FILE $$FILE.orig; \ mv $$FILE.tdy $$FILE ; \ - fi \ + fi \ fi \ done ; \ exit $$RC