diff --git a/mkfiles.pl b/mkfiles.pl index 384a88e6..d9c1f867 100755 --- a/mkfiles.pl +++ b/mkfiles.pl @@ -604,7 +604,8 @@ print <