Skip to content
Jump to bottom

Use tmpdir #2

Merged
merged 2 commits into from
Apr 5, 2022
Merged

Use tmpdir #2

merged 2 commits into from
Apr 5, 2022

Commits on Apr 5, 2022

  1. build.sh: Use TMPDIR

    @donald
    donald committed Apr 5, 2022
    Copy the full SHA
    06e160f View commit details

  2. build.sh: Remove obsolete kernels 

    Remove kernels which we no longer run.
    @donald
    donald committed Apr 5, 2022
    Copy the full SHA
    977d541 View commit details