We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent da0f6e9 commit 5583f1aCopy full SHA for 5583f1a
src/configure
@@ -33,7 +33,7 @@ if [ "$os_VENDOR" == "Ubuntu" ] || [ "$os_VENDOR" == "LinuxMint" ]; then
33
ubuntu_ver=${os_RELEASE:0:2}
34
print_title "Build RDM on $os_VENDOR: $ubuntu_ver"
35
36
- if [ "$os_VENDOR" == "Ubuntu" && "$ubuntu_ver" == "12" ]; then
+ if [ "$os_VENDOR" == "Ubuntu" ] && [ "$ubuntu_ver" == "12" ]; then
37
echo "RedisDesktopManager doesn't support Ubuntu 12 since 0.8.8 release."
38
exit 1
39
fi
0 commit comments