diff options
| author | Riku Isokoski <riksu9000@gmail.com> | 2021-08-14 22:53:35 +0300 |
|---|---|---|
| committer | Riku Isokoski <riksu9000@gmail.com> | 2021-08-14 22:53:35 +0300 |
| commit | c3d8ee14fe7b0e00627e1f12d4c6654c60fc3b72 (patch) | |
| tree | 3f87ed874ff358a75b8314d79327e46fb7ced927 /.devcontainer/build_app.sh | |
| parent | d307c6bd9ebd5e0af166ba9b4a491eb284b10b1d (diff) | |
| parent | dec4bab33496527e43850742a4b3dafd753eab83 (diff) | |
Merge branch 'develop' into refresh_rework
Diffstat (limited to '.devcontainer/build_app.sh')
| -rw-r--r-- | .devcontainer/build_app.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.devcontainer/build_app.sh b/.devcontainer/build_app.sh new file mode 100644 index 00000000..0f578cc6 --- /dev/null +++ b/.devcontainer/build_app.sh @@ -0,0 +1,2 @@ +#!/bin/bash +cmake --build /workspaces/Pinetime/build --config Release -- -j6 pinetime-app
\ No newline at end of file |