use build.py in build_devel.sh

pull/21053/head
Adeeb Shihadeh 4 years ago
parent e1d7a1af10
commit 8d619e8dd2
  1. 2
      release/build_devel.sh

@ -67,7 +67,7 @@ git status
git commit -a -m "openpilot v$VERSION release" git commit -a -m "openpilot v$VERSION release"
# Run build # Run build
SCONS_CACHE=1 scons -j3 selfdrive/manager/build.py
if [ ! -z "$CI_PUSH" ]; then if [ ! -z "$CI_PUSH" ]; then
echo "[-] Pushing to $CI_PUSH T=$SECONDS" echo "[-] Pushing to $CI_PUSH T=$SECONDS"

Loading…
Cancel
Save