diff --git a/build b/build index f254ad4090..0585fd581b 100755 --- a/build +++ b/build @@ -643,7 +643,7 @@ if 'clean' in targets: disp ('delete app: ' + appname + '\n') try: shutil.rmtree (appname) - except OSError as excp: + except OSError as excp: # pylint: disable=unused-variable disp ('error deleting app "' + appname + '": ' + os.strerror (excp.errno)) sys.exit (0)