From 76d39068e30e17269398d59f53c64578e8143c1c Mon Sep 17 00:00:00 2001
From: gauthiier <d@gauthiier.info>
Date: Fri, 10 Dec 2021 13:51:08 +0100
Subject: [PATCH] setenv catch pppadum not fetched

---
 setenv | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/setenv b/setenv
index 7d1b9ea..9b2a49e 100755
--- a/setenv
+++ b/setenv
@@ -22,8 +22,13 @@ then
 	if [[ "$(read -e -p 'pip install pppadump? [y/N]> '; echo $REPLY)" == [Yy]* ]]
 	then
 		echo "Pip installing pppadump"
-		pip install -e pppadump/
-		echo "Done."
+		if [ ! "$(pip install -e pppadump/)" ]
+			echo "pppadum doesn't seem to be feteched yet. Run the following git command to do so:"
+			echo "> git submodule update --init --recursive"
+			return
+		else
+			echo "Done."
+		fi
 	else
 		echo "Aborting..."
 		return