diff --git a/mininet/util.py b/mininet/util.py index 3a97c4c..f551737 100644 --- a/mininet/util.py +++ b/mininet/util.py @@ -181,7 +181,7 @@ def which(cmd, **kwargs ): def isShellBuiltin( cmd ): "Return True if cmd is a bash builtin." if isShellBuiltin.builtIns is None: - isShellBuiltin.builtIns = quietRun( 'bash -c enable' ) + isShellBuiltin.builtIns = set(quietRun( 'bash -c enable' ).split()) space = cmd.find( ' ' ) if space > 0: cmd = cmd[ :space]