From 62da31d349cb146a89b4a706dfef58e4592a0a4d Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sat, 29 Jul 2017 18:54:41 +0200
Subject: [PATCH] Fixing libtool for archlinux

---
 script/solve_libtool | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/script/solve_libtool b/script/solve_libtool
index b34fb661..8fa27b0f 100755
--- a/script/solve_libtool
+++ b/script/solve_libtool
@@ -17,8 +17,8 @@ if [ x"$1" = x"osx" ]; then
         possible_solutions "${commands[@]}"
 elif [ x"$1" = x"linux"  ]; then
 	pc_install_command $pcman
-        commands[0]="su -c \"$pc_install_command libtool\""
-        commands[1]="sudo $pc_install_command libtool"
+        commands[0]="su -c \"$pc_install_command_ret libtool\""
+        commands[1]="sudo $pc_install_command_ret libtool"
         possible_solutions "${commands[@]}"
 fi
 }
-- 
GitLab