Lines Matching refs:build_gmp_dir
491 build_gmp_dir () { echo "$BUILD_DIR/$PHASE/gmp"; }1452 OUT_DIR=$(build_gmp_dir)1469 cd $(build_gmp_dir) && mkdir -p build && cd build &&1478 cd $(build_gmp_dir)/build &&1486 cd $(build_gmp_dir)/build &&
