Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

update docker build scripts #9346

Merged
merged 6 commits into from Oct 20, 2023
Merged

update docker build scripts #9346

merged 6 commits into from Oct 20, 2023

Commits on Oct 5, 2023

  1. docker build: do not run user commands

    @RomanLut
    RomanLut committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    ae6b6aa View commit details
    Browse the repository at this point in the history

  2. docked build: build with ninja

    @RomanLut
    RomanLut committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    55c1abe View commit details
    Browse the repository at this point in the history

  3. docked build: added scripts for sitl build and run

    @RomanLut
    RomanLut committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    ff947cb View commit details
    Browse the repository at this point in the history

  4. Update Building in Docker.md

    @RomanLut
    RomanLut committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    a61a175 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2023

  1. add gdb to allow debugging in dev containers

    @RomanLut
    RomanLut committed Oct 7, 2023
    Configuration menu
    Copy the full SHA
    9239b5d View commit details
    Browse the repository at this point in the history

  2. add option to build sitl with debug information

    @RomanLut
    RomanLut committed Oct 7, 2023
    Configuration menu
    Copy the full SHA
    79e1474 View commit details
    Browse the repository at this point in the history