Searched refs:RANDOM_FILE_PATH (Results 1 – 3 of 3) sorted by relevance
241 RANDOM_FILE_PATH=$(setup_random_file)242 RANDOM_FILE="$(basename $RANDOM_FILE_PATH)"243 if load_fw_custom "$RANDOM_FILE" "$RANDOM_FILE_PATH" ; then244 if ! diff -q "$RANDOM_FILE_PATH" /dev/test_firmware >/dev/null ; then252 RANDOM_FILE_PATH=$(setup_random_file)253 RANDOM_FILE="$(basename $RANDOM_FILE_PATH)"254 if load_fw_custom "$RANDOM_FILE" "$RANDOM_FILE_PATH" ; then255 if ! diff -q "$RANDOM_FILE_PATH" /dev/test_firmware >/dev/null ; then263 RANDOM_FILE_REAL="$RANDOM_FILE_PATH"268 if diff -q "$RANDOM_FILE_PATH" /dev/test_firmware >/dev/null ; then
112 RANDOM_FILE_PATH="$(mktemp -p $FWPATH)"115 rm -rf $RANDOM_FILE_PATH118 echo "ABCD0123" >"$RANDOM_FILE_PATH"120 echo $RANDOM_FILE_PATH
237 RANDOM_FILE_PATH=$(setup_random_file_fake)238 RANDOM_FILE="$(basename $RANDOM_FILE_PATH)"281 RANDOM_FILE_PATH=$(setup_random_file)282 RANDOM_FILE="$(basename $RANDOM_FILE_PATH)"