From 4bedb662c5f43805b6d5d21dbc27dfef99a6da6e Mon Sep 17 00:00:00 2001
From: Krzysztof Gonciarz <gonciarz@mpi-cbg.de>
Date: Thu, 29 Oct 2015 14:02:58 +0100
Subject: [PATCH] fixing for port
---
script/discover_package_manager | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/script/discover_package_manager b/script/discover_package_manager
index 65a96dea..9338642b 100755
--- a/script/discover_package_manager
+++ b/script/discover_package_manager
@@ -27,11 +27,11 @@ function discover_package_manager() {
return
fi
command -v port >/dev/null
- if [ command -v port >/dev/null 2>&1 ]; then
+ if [ $? -eq 0 ]; then
discover_package_manager_ret="sudo port"
return
else
- discover_package_manager_ret=""
+ discover_package_manager_ret="bla"
return
fi
elif [ x"$1" = x"linux" ]; then
@@ -56,5 +56,4 @@ function discover_package_manager() {
fi
}
-echo "$discover_package_manager_ret"
-
+echo "$discover_package_manager_ret"
--
GitLab