| 
									
										
										
										
											2019-11-22 19:07:39 -08:00
										 |  |  | #!/bin/bash
 | 
					
						
							|  |  |  | set -e | 
					
						
							|  |  |  | set +x | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | trap "cd $(pwd -P)" EXIT | 
					
						
							|  |  |  | cd "$(dirname $0)" | 
					
						
							| 
									
										
										
										
											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 | 
					
						
							|  |  |  |   cd "checkout" | 
					
						
							|  |  |  | fi | 
					
						
							| 
									
										
										
										
											2019-11-22 19:07:39 -08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-11-22 22:24:14 -08:00
										 |  |  | if [[ -d ./WebKitBuild ]]; then | 
					
						
							|  |  |  |   rm -rf ./WebKitBuild/Release | 
					
						
							|  |  |  | fi | 
					
						
							| 
									
										
										
										
											2020-01-24 11:54:50 -08:00
										 |  |  | if [[ -d ./WebKitBuild/GTK ]]; then | 
					
						
							|  |  |  |   rm -rf ./WebKitBuild/GTK/Release | 
					
						
							|  |  |  | fi | 
					
						
							|  |  |  | if [[ -d ./WebKitBuild/WPE ]]; then | 
					
						
							|  |  |  |   rm -rf ./WebKitBuild/WPE/Release | 
					
						
							|  |  |  | fi |