Searched refs:_resources_dir (Results 1 – 1 of 1) sorted by relevance
114 _resources_dir="lib/resources/libraries"115 if ! [ -d $BASE/$_resources_dir ]; then116 exit_with_error "No such directory: '$BASE/$_resources_dir'. Fetch 'renode-resources' first."