From c693f0278785fcee04c652eff907fecce83ca14f Mon Sep 17 00:00:00 2001 From: Jan Tuomi Date: Mon, 29 Jan 2024 18:32:51 +0200 Subject: Improve imports and Makefile --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 9651fd1..7937cda 100644 --- a/README.md +++ b/README.md @@ -26,7 +26,7 @@ See `desmoctl help`. Run the tool in the interpreter: # Set DEBUG=1 to show debug prints - # Set INLINE_TESTS=1 to run unit tests before execution + # Set INLINE_TESTS=1 to run unit tests before execution (not available when compiled) csi -s run.scm ## Copyright -- cgit v1.3