diff options
author | Riku Isokoski <riksu9000@gmail.com> | 2021-08-28 17:10:01 +0300 |
---|---|---|
committer | Riku Isokoski <riksu9000@gmail.com> | 2021-08-28 17:10:01 +0300 |
commit | c78177eedf0d08b7fef5771f694487d08658b557 (patch) | |
tree | c0fd7ad7eeda80ad6f041f71766cbb67f1ba69c5 /.devcontainer/build_app.sh | |
parent | 2e8bc634dcae6e304b8f94e2633644fd55b64450 (diff) | |
parent | fab49f8557ef8ff38fe4f607e33b18fb5a1aeb9a (diff) |
Merge branch 'develop' into fit_more_tasks
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 |