If the SSH server sends us CHANNEL_CLOSE for a channel on which we're

[PuTTY.git] / mkfiles.pl

diff --git a/mkfiles.pl b/mkfiles.pl
index fd543eb0da1a4392100917c506fffbe3d68a8ee0..906b058428934fa04515c9ae447c06462acc6f27 100755 (executable)
--- a/mkfiles.pl
+++ b/mkfiles.pl
@@ -492,7 +492,7 @@ if (defined $makefiles{'cygwin'}) {
     print "\n";
     print $makefile_extra{'cygwin'}->{'end'};
     print "\nclean:\n".
-    "\trm -f *.o *.exe *.res.o *.map\n".
+    "\trm -f *.o *.exe *.res.o *.so *.map\n".
     "\n".
     "FORCE:\n";
     select STDOUT; close OUT;