save-logs.sh « test-suite - coq - The formal proof system

about summary refs log tree commit diff

path: root/test-suite/save-logs.sh

blob: 131bcf54516c2c08bf9e5e99ed6281a708ac6895 (plain)

#!/usr/bin/env bash

WHERE="logs"

rsync -a --from0 --files-from=<(find . -name '*.log' -print0) . "$WHERE"