#
# This configure script is free software; the Free Software Foundation
# gives unlimited permission to copy, distribute and modify it.
#
# This configure script is free software; the Free Software Foundation
# gives unlimited permission to copy, distribute and modify it.