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

/seL4-l4v-10.1.1/isabelle/Admin/cronjob/
H A Dplain_identify38 LOG_DIR="$HOME/cronjob/log/$(date -d "$NOW" "+%Y")"
42 mkdir -p "$LOG_DIR"
50 } > "$LOG_DIR/$LOG_NAME"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/cronjob/
H A Dplain_identify38 LOG_DIR="$HOME/cronjob/log/$(date -d "$NOW" "+%Y")"
42 mkdir -p "$LOG_DIR"
50 } > "$LOG_DIR/$LOG_NAME"

Completed in 39 milliseconds