setenv minor changes (bis)

This commit is contained in:
gauthiier 2021-12-10 13:57:36 +01:00
parent 872c377204
commit fde7d46cd0

2
setenv
View File

@ -24,7 +24,7 @@ then
echo "Pip installing pppadump" echo "Pip installing pppadump"
if [ ! "$(pip install -e pppadump/)" ] if [ ! "$(pip install -e pppadump/)" ]
then then
echo "pppadum doesn't seem to be fetched yet. Run the following git command to do so (and run setenv again):" echo "pppadump 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" echo "> git submodule update --init --recursive"
return return
else else