Searched refs:OTHER_ZIP_FILE (Results 1 - 1 of 1) sorted by relevance

/openjdk10/common/bin/
H A Dcompare.sh410 OTHER_ZIP_FILE=$5
413 if [ -n "$OTHER_ZIP_FILE" ]; then
414 OTHER_ZIP=$OTHER_DIR/$OTHER_ZIP_FILE

Completed in 84 milliseconds