Fetch PB to start LGTM build

This commit is contained in:
Paulo Matos 2020-08-07 12:17:17 +02:00 committed by GitHub
parent 52ca857796
commit 5faf14c45b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,6 +2,7 @@ extraction:
cpp:
configure:
command:
- make fetch-pb
- cd racket/src
- ./configure --disable-docs
index: