diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2012-03-05 11:23:43 +0100 |
---|---|---|
committer | David Bremner <bremner@debian.org> | 2012-03-20 08:10:57 -0300 |
commit | 524f01a7b5d146c70c5672f9ef9e0551745dd3f9 (patch) | |
tree | c69aa6bdcb01d7bb94971123150d191459c408aa /configure | |
parent | 596a2076dcc1ebec2dc217f6d967397ef125aac4 (diff) |
Add GNU as a valid platform
Signed-off-by: Justus Winter <4winter@informatik.uni-hamburg.de>
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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... " |