Fix CI Ubuntu

NOSALRO · May 1, 2024 · d95b037 · d95b037
1 parent 9d4329e
commit d95b037
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/ci/install_dart_latest.sh b/ci/install_dart_latest.sh
@@ -51,7 +51,7 @@ cd $CI_HOME
 # Hack for dartpy installation
 python_file=/usr/lib/python3/dist-packages/dartpy.cpython-310-x86_64-linux-gnu.so
 if [ -f "$python_file" ]; then
-cp $python_file ${PREFIX}/$python_dist_dir
+sudo cp $python_file ${PREFIX}/$python_dist_dir
 fi
 
 else

diff --git a/ci/install_magnum.sh b/ci/install_magnum.sh
@@ -14,6 +14,8 @@ PREFIX=${1:-$PREFIX}
 DEPS_FOLDER=${2:-$DEPS_FOLDER}
 SUDOCMD=${3:-$SUDOCMD}
 
+eval SUDOCMD="${SUDOCMD}"
+
 unameOut="$(uname -s)"
 case "${unameOut}" in
     Linux*)     machine=Linux;;