Home
last modified time | relevance | path

Searched refs:get_path (Results 1 – 2 of 2) sorted by relevance

/Renode-v1.15.3-c57714d/tools/
Dcommon.sh38 function get_path { function
81 git clone --depth=1 --single-branch --branch=$BRANCH $REMOTE $(get_path "$TARGET_DIR")
85 sanitized_path=$(sed 's:\\:/:g' <<< `get_path "$3"`)
/Renode-v1.15.3-c57714d/
Dbuild.sh289 BUILD_TYPE_FILE=$(get_path "${OUT_BIN_DIR}/build_type")