diff --git a/src/shell/lisa_shell b/src/shell/lisa_shell index 6d4633298674a97e2fbb8f7c98507c0aba8259ef..e80636252578bf2a7e6b9f32dd117589d5ff8dcf 100755 --- a/src/shell/lisa_shell +++ b/src/shell/lisa_shell @@ -364,6 +364,7 @@ EOF echo -e "\t${PYTHONPATH//:/\\n\\t}" if [ "x$DEVMODE" == "x1" ]; then +lisa-check-submods cat <