From eae3b6cf3115d55e78262c530ca13dfb002bb7b4 Mon Sep 17 00:00:00 2001 From: David Trattnig <david.trattnig@o94.at> Date: Mon, 27 Apr 2020 18:00:20 +0200 Subject: [PATCH] Install OPAM manually. --- install.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/install.sh b/install.sh index fd31cfbc..8b7a2b25 100755 --- a/install.sh +++ b/install.sh @@ -16,8 +16,7 @@ fi echo "Installation System Packages ..." bash script/install-system-packages.sh -echo "Installation OPAM Packages ..." -bash script/install-opam-packages.sh + # Development and Production -- GitLab