setenv minor changes

This commit is contained in:
gauthiier 2021-12-10 13:56:36 +01:00
parent 76d39068e3
commit 872c377204

3
setenv
View File

@ -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