diff options
author | Stefan Kangas <stefan@marxist.se> | 2021-12-14 03:08:37 +0100 |
---|---|---|
committer | Stefan Kangas <stefan@marxist.se> | 2021-12-14 03:08:37 +0100 |
commit | 9de8eec3bc9be2f6e7debf26159c1761c47df909 (patch) | |
tree | e45e7e44ac0f9adbba2642707acca19df90c0666 /make-dist | |
parent | cea8deea7288efd15880dc035dccfb8d9866dff8 (diff) | |
download | emacs-9de8eec3bc9be2f6e7debf26159c1761c47df909.tar.gz |
* make-dist: Don't run "make --question info". (Bug#52322)
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/make-dist b/make-dist index b069130ca61..db7a74b82b3 100755 --- a/make-dist +++ b/make-dist @@ -299,13 +299,6 @@ if [ $check = yes ]; then echo "${bogosities}" fi - ## This exits with non-zero status if any .info files need - ## rebuilding. - if [ -r Makefile ] && [ "$with_info" = "yes" ]; then - echo "Checking to see if info files are up-to-date..." - make --question info || error=yes - fi - ## Is this a release? case $version in [1-9][0-9].[0-9]) |