Searched refs:PUBLISH_REPO (Results 1 – 1 of 1) sorted by relevance
28 PUBLISH_REPO="$(dirname "$SOF_REPO")/thesofproject.github.io"112 if [ ! -d "$PUBLISH_REPO" ]117 echo "No publishing repo at: $PUBLISH_REPO"122 "$PUBLISH_REPO"124 echo "Error: No publishing repo at: $PUBLISH_REPO"131 echo "Publishing $PUBLISH_REPO"
