diff --git a/ci/install_dart_latest.sh b/ci/install_dart_latest.sh index 4704dfbf..b589f9b3 100755 --- 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 index 654c41ba..9acb1b2d 100755 --- 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;;