diff options
| author | Robert Norton | 2018-05-01 15:28:42 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-05-01 15:28:42 +0100 |
| commit | 4db05909b63223083b119a9890e2adc070d9db8a (patch) | |
| tree | c6ec57442331e488e1515d0e9cf507c22eb41e04 /src/test/lib/Makefile | |
| parent | f2aa97392d597ec0622c3a94585cf63d79eb6c81 (diff) | |
cheri256: minor optimisation -- factor out null_cap_bits as top level let.
Diffstat (limited to 'src/test/lib/Makefile')
0 files changed, 0 insertions, 0 deletions