First gitpod file

Junewee · Feb 26, 2022 · 9bff19c · 9bff19c
1 parent 9ca67d7
commit 9bff19c
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -0,0 +1,5 @@
+# see https://www.gitpod.io/docs/config-gitpod-file
+# for more info
+
+tasks:
+  - init: mkdir _build && cd _build && cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo ..