diff options
| -rw-r--r-- | pkgs/build-support/fetchmtn/builder.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/build-support/fetchmtn/builder.sh b/pkgs/build-support/fetchmtn/builder.sh index 68ce69ca6c121..4e34aad052b59 100644 --- a/pkgs/build-support/fetchmtn/builder.sh +++ b/pkgs/build-support/fetchmtn/builder.sh @@ -11,7 +11,7 @@ header "getting revision $selector"; done=; for source in $dbs; do - if mtn pull --debug --db "$cacheDB" "$source" "${branch}"; then + if mtn pull --db "$cacheDB" "$source" "${branch}"; then revision="$(mtn --db "$cacheDB" au toposort $(mtn --db "$cacheDB" au select "$selector") | tail -1)"; if [ -n "$revision" ]; then if mtn --db "$cacheDB" au get_revision "$revision"; then |