Skip to content
This repository has been archived by the owner on Nov 17, 2023. It is now read-only.

Update ci/dev_menu.py file #20053

Merged
merged 1 commit into from
Mar 19, 2021
Merged

Update ci/dev_menu.py file #20053

merged 1 commit into from
Mar 19, 2021

Commits on Mar 19, 2021

  1. Update ci/dev_menu.py file

    Some functions have been renamed or removed from runtime_functions.sh file
    but their calls have not been updated in dev_menu.py file yet. This change
    updates the build commands in dev_menu.py file, so that the function names
    used within them match those from runtime_functions.sh file.
    bartekkuncer committed Mar 19, 2021
    Configuration menu
    Copy the full SHA
    d9828c8 View commit details
    Browse the repository at this point in the history