diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-11-04 18:58:45 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-11-04 18:58:45 +0000 |
| commit | 8a27efeaeb5483dc12370add4b3786bdd20a4973 (patch) | |
| tree | 00e10c34cc22f80aee45c51d945e31c237c74eeb /ci/script.sh | |
| parent | 16d473a9b6827aa7ffa9ce92e4e532eff9a091d2 (diff) | |
| parent | a2792182952c953aab2c442bb02ac1f2e4986e67 (diff) | |
Merge #99
99: impl Mutex on all shared resources r=japaric a=japaric
document how to write generic code that operates on resources
Co-authored-by: Jorge Aparicio <jorge@japaric.io>
Diffstat (limited to 'ci/script.sh')
| -rw-r--r-- | ci/script.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/script.sh b/ci/script.sh index 4c86d14..eb582d4 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -57,6 +57,7 @@ main() { not-send not-sync + generics ramfunc ) |