Add GNU as a valid platform

Signed-off-by: Justus Winter <4winter@informatik.uni-hamburg.de>

diff --git a/configure b/configure
index ee0ae73750495efbd84eaf28514bc5fe94944d04..7b1d74e8c3882bc3b47c78bcbebd186525783e79 100755 (executable)
--- a/configure
+++ b/configure
@@ -365,9 +365,9 @@ elif [ $uname = "SunOS" ] ; then
     printf "Solaris.\n"
     platform=SOLARIS
     linker_resolves_library_dependencies=0
-elif [ $uname = "Linux" ] ; then
-    printf "Linux\n"
-    platform=LINUX
+elif [ $uname = "Linux" ] || [ $uname = "GNU" ] ; then
+    printf "$uname\n"
+    platform="$uname"
     linker_resolves_library_dependencies=1
 
     printf "Checking for $libdir_expanded in ldconfig... "