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

  OK  name: dash
  --  single version: 0.5.10.2
wedge-make () 
{ 
    local src_dir=$1;
    local build_dir=$2;
    local install_dir=$3;
    time $src_dir/configure --prefix=$install_dir;
    time make
}
  OK  wedge-make
wedge-install () 
{ 
    local build_dir=$1;
    pushd $build_dir;
    time make install-strip;
    popd
}
  OK  wedge-install
  OK  wedge-smoke-test

Loaded _build/deps-source/dash/

 SRC /home/runner/work/oils/oils/_build/deps-source/dash/dash-0.5.10.2
~/work/oils/oils/_build/wedge/tmp/dash-0.5.10.2 ~/work/oils/oils
_build/deps-source/dash//WEDGE: line 18: /home/runner/work/oils/oils/_build/deps-source/dash/dash-0.5.10.2/configure: No such file or directory

real	0m0.001s
user	0m0.000s
sys	0m0.000s