diff options
| author | davidpkj <davidpenkow1@gmail.com> | 2023-01-22 17:48:03 +0100 |
|---|---|---|
| committer | davidpkj <davidpenkow1@gmail.com> | 2023-01-22 17:48:03 +0100 |
| commit | 1f6e32fae73463ed5ec110a304998d90f6dc3ac4 (patch) | |
| tree | c423e1eecee8994295a07cca2ffbbfd41fdb5b06 /release.sh | |
| parent | a7f8b59bfb1641dea7f30a267c6bf7e882d9edbf (diff) | |
Change: colors & menu items
Diffstat (limited to 'release.sh')
| -rwxr-xr-x | release.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/release.sh b/release.sh new file mode 100755 index 00000000..d9ecb8eb --- /dev/null +++ b/release.sh @@ -0,0 +1,12 @@ +#!/bin/bash + +PATH="$PATH:$(pwd)/../node_modules/.bin/" + +rm -rf build +cmake -S . -B build/ \ + -DNRF5_SDK_PATH="$(pwd)/sdk/nRF5_SDK_15.3.0_59ac345" \ + -DARM_NONE_EABI_TOOLCHAIN_PATH="/usr/" \ + -DBUILD_RESOURCES=1 \ + -DBUILD_DFU=1 && +cd build && +make -j6 pinetime-app |