From 205a63f195811340872655a5babc58ba25df771a Mon Sep 17 00:00:00 2001
From: Erik Frisk <erik.frisk@liu.se>
Date: Mon, 8 Apr 2024 07:29:46 +0200
Subject: [PATCH] Updated build instructions

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 49954c0..35279d4 100644
--- a/README.md
+++ b/README.md
@@ -13,9 +13,9 @@ The repo uses CMake for building the extension. To build, first create a `build`
 % cd build
 % cmake ..
 ```
-Then you build the source with 
+Then you build the source with the default build tool (`make`, `ninja`, ...) or let CMake figure it out
 ```
-% make
+% cmake --build .
 ```
 and you should have your extension module built and ready for use. The resulting module is automatically copied to the src directory.
 
-- 
GitLab