Verify whether the file exists before including it in zip
This commit is contained in:
		
					parent
					
						
							
								2612e8fe8e
							
						
					
				
			
			
				commit
				
					
						953060e17c
					
				
			
		
					 1 changed files with 1 additions and 1 deletions
				
			
		|  | @ -191,7 +191,7 @@ def create_dist_zip(): | ||||||
|   with scoped_cwd(DIST_DIR): |   with scoped_cwd(DIST_DIR): | ||||||
|     files = TARGET_BINARIES[TARGET_PLATFORM] +  ['LICENSE', 'version'] |     files = TARGET_BINARIES[TARGET_PLATFORM] +  ['LICENSE', 'version'] | ||||||
|     if TARGET_PLATFORM == 'linux': |     if TARGET_PLATFORM == 'linux': | ||||||
|       files += SYSTEM_LIBRARIES |       files += [lib for lib in SYSTEM_LIBRARIES if os.path.exists(lib)] | ||||||
|     dirs = TARGET_DIRECTORIES[TARGET_PLATFORM] |     dirs = TARGET_DIRECTORIES[TARGET_PLATFORM] | ||||||
|     make_zip(zip_file, files, dirs) |     make_zip(zip_file, files, dirs) | ||||||
| 
 | 
 | ||||||
|  |  | ||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue
	
	 Cheng Zhao
				Cheng Zhao