| 
									
										
										
										
											2019-11-22 19:07:39 -08:00
										 |  |  | #!/bin/bash
 | 
					
						
							|  |  |  | set -e | 
					
						
							|  |  |  | set +x | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | trap "cd $(pwd -P)" EXIT | 
					
						
							| 
									
										
										
										
											2021-08-07 15:32:18 +03:00
										 |  |  | cd "$(dirname "$0")" | 
					
						
							| 
									
										
										
										
											2020-12-07 08:42:20 -08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-04-22 13:35:35 -06:00
										 |  |  | source "../utils.sh" | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-12-07 08:42:20 -08:00
										 |  |  | if [[ ! -z "${WK_CHECKOUT_PATH}" ]]; then | 
					
						
							|  |  |  |   cd "${WK_CHECKOUT_PATH}" | 
					
						
							|  |  |  |   echo "WARNING: checkout path from WK_CHECKOUT_PATH env: ${WK_CHECKOUT_PATH}" | 
					
						
							|  |  |  | else | 
					
						
							| 
									
										
										
										
											2021-10-14 10:20:06 -07:00
										 |  |  |   cd "$HOME/webkit" | 
					
						
							| 
									
										
										
										
											2020-12-07 08:42:20 -08:00
										 |  |  | fi | 
					
						
							| 
									
										
										
										
											2019-11-22 19:07:39 -08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-04-22 13:35:35 -06:00
										 |  |  | if is_mac; then | 
					
						
							| 
									
										
										
										
											2021-03-29 23:48:34 -07:00
										 |  |  |   rm -rf ./WebKitBuild | 
					
						
							|  |  |  | else | 
					
						
							|  |  |  |   if [[ -d ./WebKitBuild ]]; then | 
					
						
							|  |  |  |     rm -rf ./WebKitBuild/Release | 
					
						
							|  |  |  |   fi | 
					
						
							|  |  |  |   if [[ -d ./WebKitBuild/GTK ]]; then | 
					
						
							|  |  |  |     rm -rf ./WebKitBuild/GTK/Release | 
					
						
							|  |  |  |   fi | 
					
						
							|  |  |  |   if [[ -d ./WebKitBuild/WPE ]]; then | 
					
						
							|  |  |  |     rm -rf ./WebKitBuild/WPE/Release | 
					
						
							|  |  |  |   fi | 
					
						
							| 
									
										
										
										
											2021-10-14 10:20:06 -07:00
										 |  |  | fi |