# HG changeset patch # User Rik # Date 1592938511 25200 # Node ID 9e9ddc90e88a967a5d0cf6f7357431278aaff001 # Parent 7a640885171ad8b1b6e14b56142f78bc9203f64b pkg.m: Handle package names in a case insensitive manner (bug #57735). * pkg.m: Use tolower() on input package names so that all comparisons will be case insensitive. diff -r 7a640885171a -r 9e9ddc90e88a scripts/pkg/pkg.m --- a/scripts/pkg/pkg.m Mon Jun 22 21:41:15 2020 +0200 +++ b/scripts/pkg/pkg.m Tue Jun 23 11:55:11 2020 -0700 @@ -456,7 +456,7 @@ endif action = varargin{i}; otherwise - files{end+1} = varargin{i}; + files{end+1} = tolower (varargin{i}); endswitch endfor