# This is only to keep the GNU C library configure mechanism happy. | |
# This is a shell script fragment sourced by the main configure script. | |
# We have nothing we need to add here. | |
# | |
# Perhaps some day we will need a real configuration script for different | |
# kernel versions or so. |