diff options
author | Andrew Waterman <aswaterman@gmail.com> | 2019-01-15 11:31:27 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-15 11:31:27 -0800 |
commit | 66c13fd4a9c1c2eda51df35ddc13e095469faec7 (patch) | |
tree | ab87fa9f201640737681ea1e1b45eeed27e6c7f8 /scripts | |
parent | a02257a861a4d13f31868a27c197cfc5576101e1 (diff) | |
download | pk-66c13fd4a9c1c2eda51df35ddc13e095469faec7.zip pk-66c13fd4a9c1c2eda51df35ddc13e095469faec7.tar.gz pk-66c13fd4a9c1c2eda51df35ddc13e095469faec7.tar.bz2 |
Revert "Don't require a RISC-V libc and crt when configuring (#132)" (#140)
This reverts commit a02257a861a4d13f31868a27c197cfc5576101e1.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions