diff --git a/wscript b/wscript index 10203db7e..e23c74f0c 100644 --- a/wscript +++ b/wscript @@ -827,7 +827,8 @@ def shutdown(ctx): if ((not Options.options.run) and (not Options.options.pyrun) and ('clean' not in Options.arg_line) - and ('distclean' not in Options.arg_line)): + and ('distclean' not in Options.arg_line) + and ('shell' not in Options.arg_line)): # Print the list of built modules. print