* make-dist: Don't run "make --question info". (Bug#52322)
This commit is contained in:
parent
cea8deea72
commit
9de8eec3bc
1 changed files with 0 additions and 7 deletions
|
@ -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])
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue