diff options
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/prefix/linux/profile.bashrc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/profiles/prefix/linux/profile.bashrc b/profiles/prefix/linux/profile.bashrc index 693dd8e407ad..9a4890117525 100644 --- a/profiles/prefix/linux/profile.bashrc +++ b/profiles/prefix/linux/profile.bashrc @@ -11,7 +11,9 @@ get_libc_vers_min() { | cut -d. -f2 return elif [[ -x /lib/libc.so.6 || -x /lib64/libc.so.6 ]] ; then - /lib/libc.so.6 || lib64/libc.so.6 \ + { + /lib/libc.so.6 || /lib64/libc.so.6 + } 2>/dev/null \ | head -n1 \ | grep -o 'version 2\.[0-9]\+' \ | cut -d. -f2 |