From 8309630a9ac9d64d67736d29fc44d650cf780c5b Mon Sep 17 00:00:00 2001 From: Krishna Vedala <7001608+kvedala@users.noreply.github.com> Date: Tue, 9 Jun 2020 17:47:05 -0400 Subject: [PATCH] remove gitpod init and add commands --- .gitpod.yml | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/.gitpod.yml b/.gitpod.yml index 57cfd4f5f..7067ce3ce 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -1,8 +1,9 @@ tasks: - - init: > - pip install cpplint - cmake -S . -B build -DCMAKE_BUILD_TYPE=Debug -DCMAKE_EXPORT_COMPILE_COMMANDS=ON && - cmake --build build -t all + - command: pip install cpplint + name: Install CPPLINT + - command: cmake -S . -B build -DCMAKE_BUILD_TYPE=Debug -DCMAKE_EXPORT_COMPILE_COMMANDS=ON + name: Configure project + vscode: extensions: - ms-vscode.cpptools@0.28.3:mjRj37VUK0nY2ZeDXzxOJA==