diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2018-11-04 18:50:42 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2018-11-04 18:50:42 +0100 |
| commit | 37a0692a0fe5d9b41b65728d496b6856a1152dcc (patch) | |
| tree | beb91d9c1caa0fb5e16e61236b6b92739766edd2 /ci/script.sh | |
| parent | 16d473a9b6827aa7ffa9ce92e4e532eff9a091d2 (diff) | |
impl Mutex on all shared resources
document how to write generic code that operates on resources
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 ) |