*** WEDGE running in 2025 mode with ../oils.DEPS
*** unboxed _build/deps-source/mksh/ R52c wedge_out_base_dir=/home/runner/work/oils/oils.DEPS/wedge
Loading _build/deps-source/mksh/

  OK  name: mksh
  --  single version: R52c
wedge-make () 
{ 
    local src_dir=$1;
    local build_dir=$2;
    local install_dir=$3;
    sh $src_dir/Build.sh
}
  OK  wedge-make
wedge-install () 
{ 
    local build_dir=$1;
    local install_dir=$2;
    cp -v $build_dir/mksh $install_dir
}
  OK  wedge-install
  OK  wedge-smoke-test

Loaded _build/deps-source/mksh/

 SRC /home/runner/work/oils/oils/_build/deps-source/mksh/mksh-R52c
~/work/oils/oils/_build/wedge/tmp/mksh-R52c ~/work/oils/oils
sh: 0: cannot open /home/runner/work/oils/oils/_build/deps-source/mksh/mksh-R52c/Build.sh: No such file