From 872c377204bdd8f60f8085340d158a66a42b6a89 Mon Sep 17 00:00:00 2001
From: gauthiier <d@gauthiier.info>
Date: Fri, 10 Dec 2021 13:56:36 +0100
Subject: [PATCH] setenv minor changes

---
 setenv | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/setenv b/setenv
index 9b2a49e..73df221 100755
--- a/setenv
+++ b/setenv
@@ -23,7 +23,8 @@ then
 	then
 		echo "Pip installing pppadump"
 		if [ ! "$(pip install -e pppadump/)" ]
-			echo "pppadum doesn't seem to be feteched yet. Run the following git command to do so:"
+		then
+			echo "pppadum doesn't seem to be fetched yet. Run the following git command to do so (and run setenv again):"
 			echo "> git submodule update --init --recursive"
 			return
 		else