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

  OK  name: bash
  --  version list: 4.4 5.2 5.2.21
  OK  Setting WEDGE_VERSION to 5.2.21
wedge-make () 
{ 
    local src_dir=$1;
    local build_dir=$2;
    local install_dir=$3;
    time $src_dir/configure --without-bash-malloc --prefix=$install_dir CFLAGS="-std=gnu99 -Wno-error=implicit-function-declaration";
    time make
}
  OK  wedge-make
wedge-install () 
{ 
    local build_dir=$1;
    pushd $build_dir;
    time make install;
    popd
}
  OK  wedge-install
  OK  wedge-smoke-test

Loaded _build/deps-source/bash/

 SRC /home/runner/work/oils/oils/_build/deps-source/bash/bash-5.2.21
~/work/oils/oils/_build/wedge/tmp/bash-5.2.21 ~/work/oils/oils
_build/deps-source/bash//WEDGE: line 23: /home/runner/work/oils/oils/_build/deps-source/bash/bash-5.2.21/configure: No such file or directory

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