diff options
Diffstat (limited to 'pkgs/build-support/fetchmtn')
-rw-r--r-- | pkgs/build-support/fetchmtn/builder.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/build-support/fetchmtn/builder.sh b/pkgs/build-support/fetchmtn/builder.sh index 58fd7e41c9a77..f39e381688029 100644 --- a/pkgs/build-support/fetchmtn/builder.sh +++ b/pkgs/build-support/fetchmtn/builder.sh @@ -2,6 +2,11 @@ source $stdenv/setup set -x +if ! [ -f "$cacheDB" ]; then + echo "Creating cache DB $cacheDB" + mtn --db "$cacheDB" db init +fi + header "getting revision $selector"; done=; |