From df634b94597df462843f6dcac9d52fdafee5fcd9 Mon Sep 17 00:00:00 2001
From: Philipp Wagner <phw@lowrisc.org>
Date: Fri, 3 Jul 2020 12:06:44 +0100
Subject: [PATCH] CI: use the new binary name of Verible

They switched to new binary names, use these names (the old ones are
still around for backwards-compat, but deprecated).
---
 azure-pipelines.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index cbde1753..488fa2a1 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -97,7 +97,7 @@ jobs:
       fusesoc --version
       verilator --version
       riscv32-unknown-elf-gcc --version
-      verilog_lint --version
+      verible-verilog-lint --version
     displayName: Display environment
 
   # Verible lint/format is experimental so only run on default config for now,