diff options
| author | Farzad Sadeghi <thabogre@gmail.com> | 2021-01-06 14:00:14 +0000 |
|---|---|---|
| committer | Farzad Sadeghi <thabogre@gmail.com> | 2021-01-06 14:00:14 +0000 |
| commit | f722eb61802e73542b40e79665a6b42ea1e01631 (patch) | |
| tree | e1ea8fdfea965aa9b07e8d75bcaef1613592ea1e | |
| parent | Merge pull request #17 from terminaldweller/terminaldweller/gitpod-setup (diff) | |
| download | cgrep-f722eb61802e73542b40e79665a6b42ea1e01631.tar.gz cgrep-f722eb61802e73542b40e79665a6b42ea1e01631.zip | |
update for gitpod
| -rw-r--r-- | .gitpod.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitpod.yml b/.gitpod.yml index 3a69a10..c5f62f8 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -2,4 +2,4 @@ image: file: .gitpod.Dockerfile tasks: - - init: make + - init: make CXX=clang-9 LLVM_CONF=llvm-config-9 |