From e865cbb2e59a95962d7e4d45c31f9ff1e4ba6579 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 16 Apr 2019 21:54:19 +0200
Subject: book: resources shared with init must also be `Send`

---
 ci/script.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ci')

diff --git a/ci/script.sh b/ci/script.sh
index 7cda1e5..0e350d1 100644
--- a/ci/script.sh
+++ b/ci/script.sh
@@ -109,6 +109,7 @@ main() {
                 types
                 not-send
                 not-sync
+                shared-with-init
 
                 generics
                 ramfunc
-- 
cgit v1.2.3


From 473a0e7bb58c1ec4b10dea505056ad76f9023871 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Sun, 21 Apr 2019 18:05:24 +0200
Subject: add .run file

---
 ci/expected/shared-with-init.run | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 ci/expected/shared-with-init.run

(limited to 'ci')

diff --git a/ci/expected/shared-with-init.run b/ci/expected/shared-with-init.run
new file mode 100644
index 0000000..e69de29
-- 
cgit v1.2.3