Home
last modified time | relevance | path

Searched refs:OPTIONS_FILE (Results 1 – 1 of 1) sorted by relevance

/rocksdb-6.9/tools/
Dregression_test.sh404 if ! [ -z "$OPTIONS_FILE" ]; then
407 run_local "$SCP $OPTIONS_FILE $REMOTE_USER_AT_HOST:$options_file"
409 options_file="$OPTIONS_FILE"