From c0997bc821012102d360fa3e5faf0df4c6641e39 Mon Sep 17 00:00:00 2001 From: Tom Henderson Date: Wed, 3 Apr 2019 15:34:32 -0700 Subject: [PATCH] build: (works around #14) add Waf option to run without building --- CHANGES.html | 1 + doc/manual/source/python.rst | 10 ++++++++++ doc/tutorial/source/getting-started.rst | 14 ++++++++++++++ wscript | 21 +++++++++++++++++++++ 4 files changed, 46 insertions(+) diff --git a/CHANGES.html b/CHANGES.html index 779195ac2..4695f0e6f 100644 --- a/CHANGES.html +++ b/CHANGES.html @@ -86,6 +86,7 @@ us a note on ns-developers mailing list.

Changes to build system:

Changed behavior: