Searched refs:OUTPUT_FILE_SUMMARY (Results 1 – 1 of 1) sorted by relevance
801 OUTPUT_FILE_SUMMARY="$OUTPUT_FILE_NOEXT.wumad, $OUTPUT_FILE_NOEXT.wum"803 OUTPUT_FILE_SUMMARY="$OUTPUT_FILE_NOEXT.wumad"823 echo "Output : $OUTPUT_FILE_SUMMARY"