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

/seL4-l4v-10.1.1/isabelle/Admin/cronjob/
H A Dplain_identify39 LOG_SECONDS="$(($(date -d "$NOW" +"%s") - $(date -d 'today 00:00:00' "+%s")))"
40 LOG_NAME="plain_identify_$(date -d "$NOW" "+%Y-%m-%d").$(printf "%05d" "$LOG_SECONDS").log"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/cronjob/
H A Dplain_identify39 LOG_SECONDS="$(($(date -d "$NOW" +"%s") - $(date -d 'today 00:00:00' "+%s")))"
40 LOG_NAME="plain_identify_$(date -d "$NOW" "+%Y-%m-%d").$(printf "%05d" "$LOG_SECONDS").log"

Completed in 84 milliseconds