From aaf40b468c2c799b5bc5da33050b36d98c494932 Mon Sep 17 00:00:00 2001
From: munapower <mmunaro@hotmail.com>
Date: Wed, 18 Oct 2023 11:40:24 -0400
Subject: [PATCH] Improve make pull README.md

Co-authored-by: Marcus Brandenburger <mbrandenburger@users.noreply.github.com>
Signed-off-by: munapower <mmunaro@hotmail.com>
---
 README.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 701d454a6..3f0186fd6 100644
--- a/README.md
+++ b/README.md
@@ -201,8 +201,7 @@ Once you have cloned the repository, you can either use the pre-built images or
 #### Pull docker images
 To pull the docker image and start the development container execute the following:
 ```bash
-cd $FPC_PATH/utils/docker
-make pull-dev 
+make -C $FPC_PATH/utils/docker pull pull-dev 
 ```
 This will fetch the FPC development image and then opens a shell inside the FPC development container, with environment variables like `$FPC_PATH` appropriately defined and all
 dependencies like the Intel SGX SDK, ready to build and run FPC.