Project

General

Profile

1
#!/bin/bash -e
2
. "$(dirname "${BASH_SOURCE[0]}")"/../lib/runscripts/extract.run "$@"
3

    
4
# runtime: 55 min ("56m59.780s") @r14827 @vegbiendev
5

    
6
# export_only() runtime: 45 min ("46m23.124s") @r14827 @vegbiendev
(4-4/19)