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

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD403 old_log_dir="$LOCAL_PREFIX/$ROTD_SUBDIR/old_logs.$n"
404 while [ -e "$old_log_dir" ] ; do
406 old_log_dir="$LOCAL_PREFIX/$ROTD_SUBDIR/old_logs.$n"
408 mkdir -p "$old_log_dir"
409 mv "$LOCAL_PREFIX/$LOG_DIR" "$old_log_dir"
410 mv "$MASTER_LOG_FILE" "$old_log_dir"
411 mv "$SSH_LOG_FILE" "$old_log_dir"

Completed in 32 milliseconds