Searched refs:FLAGS_board_path (Results 1 – 1 of 1) sorted by relevance
34 if [ -z $FLAGS_board_path ]; then49 if [ `echo "$FLAGS_board_path" | head -c1` != "/" ]; then50 FLAGS_board_path="${PROJ_PATH}/$FLAGS_board_path"54 if [ -d ${FLAGS_board_path} ]; then55 cp -r ${FLAGS_board_path}/* "$TMP_LOG_ROOT"57 die "Error: the board path $FLAGS_board_path does not exist!"