diff options
Diffstat (limited to 'infra/nncc/command/build')
| -rw-r--r-- | infra/nncc/command/build | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/infra/nncc/command/build b/infra/nncc/command/build new file mode 100644 index 000000000..86082c188 --- /dev/null +++ b/infra/nncc/command/build @@ -0,0 +1,11 @@ +#!/bin/bash + +import "build.configuration" + +BUILD_WORKSPACE_PATH="${NNCC_PROJECT_PATH}/${BUILD_WORKSPACE_RPATH}" + +if [[ ! -d "${BUILD_WORKSPACE_PATH}" ]]; then + echo "'${BUILD_WORKSPACE_RPATH}' does not exist. Please run 'configure' first" + exit 255 +fi +cd "${BUILD_WORKSPACE_PATH}" && cmake --build . -- "$@" |