diff --git a/tool/run/run b/tool/run/run index cd94486bd76..6e8ef78840c 100755 --- a/tool/run/run +++ b/tool/run/run @@ -955,6 +955,14 @@ proc have_include { name } { return false } +## +# Check if a specific depot recipe is available +# +proc have_recipe { name } { + set hash_rel_path "recipes/$name/hash" + return [expr {[repository_contains $hash_rel_path] != ""}] +} + ## # Override the exit procedure