summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorPalmer Dabbelt <palmer@sifive.com>2018-12-18 12:49:20 -0800
committerPalmer Dabbelt <palmer@sifive.com>2018-12-18 12:49:20 -0800
commit3234d9ddba26f68902096642b02d55a325a89a6b (patch)
tree8764f4ab4138571fa7054e87f1aed916306b29d5 /.github
parent0585e67d09b2343bd3ae89615adab92aaa8b5450 (diff)
Pass AR through when building MEE-based examples
Signed-off-by: Palmer Dabbelt <palmer@sifive.com>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions