Searched refs:FILES_MISSING (Results 1 – 1 of 1) sorted by relevance
57 FILES_MISSING=""61 FILES_MISSING="$FILE $FILES_MISSING"65 if [ ! -z "$FILES_MISSING" ]; then66 echo "Missing files in EXTRA_DIST: $FILES_MISSING"