tree 488031e30f95a87fcd6514823ae2e945536424ff
parent 4a213a7d6bb6b96edb27f6f1e5b9c522385d3350
author Johnathan Van Why <jrvanwhy@google.com> 1617312046 -0700
committer Johnathan Van Why <jrvanwhy@google.com> 1617312046 -0700

Typo fix (from code review suggestion), plus change `libtock` to support pluggable panic handler and optional dynamic memory allocation.

I was under the impression that using cargo features was making our CI slow. That impression is incorrect -- cargo caches build artifacts with different feature combinations perfectly fine. We can use feature flags to allow `libtock` to support pluggable panic handlers and optional memory allocation.