mirror of
https://github.com/redis/RedisDesktopManager.git
synced 2026-10-28 02:56:32 +08:00
Update configure (#4025)
This commit is contained in:
Vendored
+7
@@ -28,6 +28,13 @@ if [ "$1" == "libssh2" ]; then
|
||||
exit 0
|
||||
fi
|
||||
|
||||
if [ "$os_VENDOR" == "Ubuntu" ] && [ "$#" -gt 2 ]; then
|
||||
print_title "Run configure in DEB Script packaging"
|
||||
build_breakpad
|
||||
build_libssh2
|
||||
exit 0
|
||||
fi
|
||||
|
||||
|
||||
if [ "$os_VENDOR" == "Ubuntu" ] || [ "$os_VENDOR" == "LinuxMint" ]; then
|
||||
ubuntu_ver=${os_RELEASE:0:2}
|
||||
|
||||
Reference in New Issue
Block a user