Searched refs:SUMMARY_FILE (Results 1 – 2 of 2) sorted by relevance
53 SUMMARY_FILE="${SUMMARY_DIR}/${SUMMARY_BASE_DIR}.txt"97 $scores_flag -d "$SUMMARY_DIR" > "$SUMMARY_FILE"102 echo "Summary report file: $SUMMARY_FILE"
134 static const char *SUMMARY_FILE = NULL; variable540 if(SUMMARY_FILE != NULL) { in runTests()541 FILE *summf = fopen(SUMMARY_FILE, "w"); in runTests()990 SUMMARY_FILE=argv[i]+2; in initArgs()