]> git.tue.mpg.de Git - paraslash.git/commit
build: Remove info about ucred from configure output.
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 21 Jun 2023 19:21:46 +0000 (21:21 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 17 Mar 2024 11:34:49 +0000 (12:34 +0100)
commita5df36d304de2ad97788de87cd060010cfc16de9
tree1f9c37e1bae691c6c727bbae0a35385c96f0da6e
parent2934ee80367ee9d50b99ed8d7f672d1a397b4ce0
build: Remove info about ucred from configure output.

The $have_ucred variable was removed six years ago, but the stale
summary line remained. Remove it now.

Fixes: 738d19a4cfb194479e9e0c4a474df6b62c57f4b4
configure.ac