Searched refs:FILES_MISSING (Results 1 – 1 of 1) sorted by relevance
73 FILES_MISSING=""77 FILES_MISSING="$FILE $FILES_MISSING"81 if [ ! -z "$FILES_MISSING" ]; then82 echo "Missing files in EXTRA_DIST: $FILES_MISSING"