diff --git a/src/shell/lisa_shell b/src/shell/lisa_shell index 33755bbd60a527e7fb6783dcc700c6af63812e61..0847d59572048ee95b2bc9c75dcdf240104a8652 100755 --- a/src/shell/lisa_shell +++ b/src/shell/lisa_shell @@ -250,13 +250,23 @@ echo function _lisa-test-usage { cat <