Searched refs:UI_OUT_DIR (Results 1 – 1 of 1) sorted by relevance
33 UI_OUT_DIR="$OUT_DIR/ui"39 if [ ! -d $UI_OUT_DIR ]; then40 echo "ERROR: cannot find the UI output directory (\"$UI_OUT_DIR\")."