From 5faf14c45b64241a2b881ce2ab7b75c4f2bc1cf6 Mon Sep 17 00:00:00 2001 From: Paulo Matos Date: Fri, 7 Aug 2020 12:17:17 +0200 Subject: [PATCH] Fetch PB to start LGTM build --- .lgtm.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.lgtm.yml b/.lgtm.yml index dd94c12885..222fbde564 100644 --- a/.lgtm.yml +++ b/.lgtm.yml @@ -2,6 +2,7 @@ extraction: cpp: configure: command: + - make fetch-pb - cd racket/src - ./configure --disable-docs index: