Skip to content

Commit

Permalink
Update .ci/build-kit/compile.sh
Browse files Browse the repository at this point in the history
Signed-off-by: Andreas Heinrich <andreas.heinrich@rwth-aachen.de>
  • Loading branch information
andistorm committed Dec 19, 2023
1 parent 76739ad commit 057910d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .ci/build-kit/compile.sh
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,6 @@ cmake \
-G Ninja \
-DEVC_ENABLE_CCACHE=1 \
-DBUILD_TESTING=ON \
-DEVEREST_ENABLE_RS_SUPPORT=ON
-DEVEREST_ENABLE_RS_SUPPORT=OFF # Turn off rust support until we can properly support Rust.

ninja -j$(nproc) -C build

0 comments on commit 057910d

Please sign in to comment.