diff options
Diffstat (limited to 'brep/handler/ci/ci.bash.in')
-rw-r--r-- | brep/handler/ci/ci.bash.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/brep/handler/ci/ci.bash.in b/brep/handler/ci/ci.bash.in index b55749e..a269e6b 100644 --- a/brep/handler/ci/ci.bash.in +++ b/brep/handler/ci/ci.bash.in @@ -50,6 +50,9 @@ function dump_repository_manifests () # <repo-url> <dir> <timeout> local dir="$2" local tmo="$3" + # Note that due to the --manifest option only known manifest values are + # allowed. + # if ! run_silent bpkg rep-info --fetch-timeout "$tmo" --manifest \ --repositories --repositories-file "$dir/repositories.manifest" \ --packages --packages-file "$dir/packages.manifest" "$url"; then |