Temporarily disable stripping for CI MSYS2 cache
This commit is contained in:
		
							parent
							
								
									d1be65b105
								
							
						
					
					
						commit
						a67a52164e
					
				
					 1 changed files with 21 additions and 19 deletions
				
			
		
							
								
								
									
										40
									
								
								.github/scripts/shrink-msys2.sh
									
										
									
									
										vendored
									
									
								
							
							
						
						
									
										40
									
								
								.github/scripts/shrink-msys2.sh
									
										
									
									
										vendored
									
									
								
							|  | @ -16,26 +16,28 @@ set +e | |||
| # Clean all the package archives from pacman | ||||
| pacman -Scc --noconfirm | ||||
| 
 | ||||
| # TODO Stripping part is temporarily disabled due to GitHub CI problems | ||||
| # | ||||
| # Strip binaries using their associated striping tool | ||||
| for dir in /usr /mingw32 /mingw64; do | ||||
| 
 | ||||
| 	# Enter our directory if we have it | ||||
| 	cd "${dir}" || continue | ||||
| 
 | ||||
| 	# Check if we have an associated stripping tool | ||||
| 	if [[ ! -f "bin/strip.exe" ]]; then continue; fi | ||||
| 
 | ||||
| 	# Start stripping | ||||
| 	find . -type f              \ | ||||
| 		\( -iname '*.exe'       \ | ||||
| 		   -or -iname '*.a'     \ | ||||
| 		   -or -iname '*.dll'   \ | ||||
| 		   -or -iname '*.so'    \ | ||||
| 		\)                      \ | ||||
| 		-a ! -iname 'strip.exe' \ | ||||
| 		-print0                 \ | ||||
| 	| xargs -0 ./bin/strip.exe --strip-unneeded | ||||
| done | ||||
| # for dir in /usr /mingw32 /mingw64; do | ||||
| #  | ||||
| # 	# Enter our directory if we have it | ||||
| # 	cd "${dir}" || continue | ||||
| #  | ||||
| # 	# Check if we have an associated stripping tool | ||||
| # 	if [[ ! -f "bin/strip.exe" ]]; then continue; fi | ||||
| #  | ||||
| # 	# Start stripping | ||||
| # 	find . -type f              \ | ||||
| # 		\( -iname '*.exe'       \ | ||||
| # 		   -or -iname '*.a'     \ | ||||
| # 		   -or -iname '*.dll'   \ | ||||
| # 		   -or -iname '*.so'    \ | ||||
| # 		\)                      \ | ||||
| # 		-a ! -iname 'strip.exe' \ | ||||
| # 		-print0                 \ | ||||
| # 	| xargs -0 ./bin/strip.exe --strip-unneeded | ||||
| # done | ||||
| 
 | ||||
| # Delete documentation directories | ||||
| rm -rf /mingw*/share/man | ||||
|  |  | |||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue