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

/seL4-l4v-10.1.1/isabelle/Admin/cronjob/
H A Dplain_identify40 LOG_NAME="plain_identify_$(date -d "$NOW" "+%Y-%m-%d").$(printf "%05d" "$LOG_SECONDS").log"
50 } > "$LOG_DIR/$LOG_NAME"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/cronjob/
H A Dplain_identify40 LOG_NAME="plain_identify_$(date -d "$NOW" "+%Y-%m-%d").$(printf "%05d" "$LOG_SECONDS").log"
50 } > "$LOG_DIR/$LOG_NAME"

Completed in 85 milliseconds