bsp/raspberry-pico/tools/sdk_dist.py


1
2
3
4
5
6
7
8
9
10
11

import os


def dist_do_building(BSP_ROOT, dist_dir):
    from mkdist import bsp_copy_files

    print("=> copy raspberry-pico drivers")
    bsp_copy_files(
        os.path.join(os.path.dirname(BSP_ROOT), 'Drivers'),
        os.path.join(os.path.dirname(dist_dir), 'Drivers'),
    )