mirror of
				https://github.com/f-droid/fdroidserver.git
				synced 2025-11-04 06:30:27 +03:00 
			
		
		
		
	Merge branch 'fix_pathlib' into 'master'
[lint] convert path to Path first See merge request fdroid/fdroidserver!953
This commit is contained in:
		
						commit
						a21c2c5ff1
					
				
					 1 changed files with 1 additions and 0 deletions
				
			
		| 
						 | 
				
			
			@ -530,6 +530,7 @@ def check_extlib_dir(apps):
 | 
			
		|||
    for app in apps:
 | 
			
		||||
        for build in app.get('Builds', []):
 | 
			
		||||
            for path in build.extlibs:
 | 
			
		||||
                path = Path(path)
 | 
			
		||||
                if path not in extlib_files:
 | 
			
		||||
                    yield _(
 | 
			
		||||
                        "{appid}: Unknown extlib {path} in build '{versionName}'"
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue