From 47455a80a503f67d5f0ca75e872feb36b10b5d40 Mon Sep 17 00:00:00 2001
From: Robin Mueller <robin.mueller.m@gmail.com>
Date: Wed, 25 Nov 2020 12:52:31 +0100
Subject: [PATCH] host build command correction

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 0f944551..f9df0403 100644
--- a/README.md
+++ b/README.md
@@ -280,7 +280,7 @@ the hard real-time limit of the system might not be high enough (see step 1).
 The host build can be built with following command
 
 ```sh
-make all -j
+make -f Makefile-Hosted all -j
 ```
 
 If compiling on Windows, it is recommended to supply `WINDOWS=1` .