Project

General

Profile

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

    
4
# `make .../reinstall` runtime: 25 min ("25m30.587s") @starscream
5
#                               45 min ("43m40.625s") @vegbiendev
(6-6/8)