* 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}"
|
echo "${bogosities}"
|
||||||
fi
|
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?
|
## Is this a release?
|
||||||
case $version in
|
case $version in
|
||||||
[1-9][0-9].[0-9])
|
[1-9][0-9].[0-9])
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue