[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Qemu-devel] [PATCH v2 for 2.10 8/8] docs: fix broken paths to docs/spin
From: |
Philippe Mathieu-Daudé |
Subject: |
[Qemu-devel] [PATCH v2 for 2.10 8/8] docs: fix broken paths to docs/spin/ |
Date: |
Fri, 28 Jul 2017 19:46:08 -0300 |
With the move of some docs/ to docs/devel/ on ac06724a71, some references were
not updated.
Signed-off-by: Philippe Mathieu-Daudé <address@hidden>
---
docs/spin/aio_notify.promela | 6 +++---
docs/spin/aio_notify_accept.promela | 4 ++--
docs/spin/aio_notify_bug.promela | 4 ++--
docs/spin/tcg-exclusive.promela | 2 +-
include/block/aio.h | 2 +-
5 files changed, 9 insertions(+), 9 deletions(-)
diff --git a/docs/spin/aio_notify.promela b/docs/spin/aio_notify.promela
index fccc7ee1c3..a8f032560d 100644
--- a/docs/spin/aio_notify.promela
+++ b/docs/spin/aio_notify.promela
@@ -8,15 +8,15 @@
* the WTFPL will do.
*
* To simulate it:
- * spin -p docs/aio_notify.promela
+ * spin -p docs/spin/aio_notify.promela
*
* To verify it:
- * spin -a docs/aio_notify.promela
+ * spin -a docs/spin/aio_notify.promela
* gcc -O2 pan.c
* ./a.out -a
*
* To verify it (with a bug planted in the model):
- * spin -a -DBUG docs/aio_notify.promela
+ * spin -a -DBUG docs/spin/aio_notify.promela
* gcc -O2 pan.c
* ./a.out -a
*/
diff --git a/docs/spin/aio_notify_accept.promela
b/docs/spin/aio_notify_accept.promela
index 9cef2c955d..491f36a59c 100644
--- a/docs/spin/aio_notify_accept.promela
+++ b/docs/spin/aio_notify_accept.promela
@@ -8,13 +8,13 @@
* the WTFPL will do.
*
* To verify the buggy version:
- * spin -a -DBUG1 docs/aio_notify_bug.promela
+ * spin -a -DBUG1 docs/spin/aio_notify_bug.promela
* gcc -O2 pan.c
* ./a.out -a -f
* (or -DBUG2)
*
* To verify the fixed version:
- * spin -a docs/aio_notify_bug.promela
+ * spin -a docs/spin/aio_notify_bug.promela
* gcc -O2 pan.c
* ./a.out -a -f
*
diff --git a/docs/spin/aio_notify_bug.promela b/docs/spin/aio_notify_bug.promela
index b3bfca1ca4..49c69cee3d 100644
--- a/docs/spin/aio_notify_bug.promela
+++ b/docs/spin/aio_notify_bug.promela
@@ -8,12 +8,12 @@
* the WTFPL will do.
*
* To verify the buggy version:
- * spin -a -DBUG docs/aio_notify_bug.promela
+ * spin -a -DBUG docs/spin/aio_notify_bug.promela
* gcc -O2 pan.c
* ./a.out -a -f
*
* To verify the fixed version:
- * spin -a docs/aio_notify_bug.promela
+ * spin -a docs/spin/aio_notify_bug.promela
* gcc -O2 pan.c
* ./a.out -a -f
*
diff --git a/docs/spin/tcg-exclusive.promela b/docs/spin/tcg-exclusive.promela
index c91cfca9f7..50a084c5c4 100644
--- a/docs/spin/tcg-exclusive.promela
+++ b/docs/spin/tcg-exclusive.promela
@@ -9,7 +9,7 @@
* the WTFPL will do.
*
* To verify it:
- * spin -a docs/tcg-exclusive.promela
+ * spin -a docs/spin/tcg-exclusive.promela
* gcc pan.c -O2
* ./a.out -a
*
diff --git a/include/block/aio.h b/include/block/aio.h
index e9aeeaec94..386d7f24dc 100644
--- a/include/block/aio.h
+++ b/include/block/aio.h
@@ -104,7 +104,7 @@ struct AioContext {
*
* Note that event_notifier_set *cannot* be optimized the same way. For
* more information on the problem that would result, see "#ifdef BUG2"
- * in the docs/aio_notify_accept.promela formal model.
+ * in the docs/spin/aio_notify_accept.promela formal model.
*/
bool notified;
EventNotifier notifier;
--
2.13.3
- [Qemu-devel] [PATCH v2 for 2.10 0/8] docs: fix broken paths, Philippe Mathieu-Daudé, 2017/07/28
- [Qemu-devel] [PATCH v2 for 2.10 1/8] docs: fix broken paths to docs/interop dir, Philippe Mathieu-Daudé, 2017/07/28
- [Qemu-devel] [PATCH v2 for 2.10 2/8] docs: fix broken paths to docs/interop/qcow2.txt, Philippe Mathieu-Daudé, 2017/07/28
- [Qemu-devel] [PATCH v2 for 2.10 3/8] docs: fix broken paths to docs/devel/qapi-code-gen.txt, Philippe Mathieu-Daudé, 2017/07/28
- [Qemu-devel] [PATCH v2 for 2.10 4/8] docs: fix broken paths to docs/devel/atomics.txt, Philippe Mathieu-Daudé, 2017/07/28
- [Qemu-devel] [PATCH v2 for 2.10 5/8] docs: fix broken paths to docs/devel/tracing.txt, Philippe Mathieu-Daudé, 2017/07/28
- [Qemu-devel] [PATCH v2 for 2.10 6/8] docs: fix broken paths to docs/config/ich9-ehci-uhci.cfg, Philippe Mathieu-Daudé, 2017/07/28
- [Qemu-devel] [PATCH v2 for 2.10 7/8] docs: fix broken paths to docs/specs/ivshmem-spec.txt, Philippe Mathieu-Daudé, 2017/07/28
- [Qemu-devel] [PATCH v2 for 2.10 8/8] docs: fix broken paths to docs/spin/,
Philippe Mathieu-Daudé <=
- Re: [Qemu-devel] [PATCH v2 for 2.10 0/8] docs: fix broken paths, Michael Tokarev, 2017/07/31