| 
									
										
										
										
											2020-01-24 19:39:43 +01:00
										 |  |  | #!/bin/bash
 | 
					
						
							| 
									
										
										
										
											2019-07-17 19:37:18 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  | BUILD_PATH=$1 | 
					
						
							| 
									
										
										
										
											2020-01-24 19:39:43 +01:00
										 |  |  | if [[ -z "${BUILD_PATH}" ]]; then | 
					
						
							| 
									
										
										
										
											2019-07-17 19:37:18 +02:00
										 |  |  |     echo "Missing versions path!" | 
					
						
							|  |  |  |     exit 1 | 
					
						
							|  |  |  | fi | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-01-24 19:39:43 +01:00
										 |  |  | ./generate_version.sh "${BUILD_PATH}" || { | 
					
						
							|  |  |  |     echo "Failed to generate version! ($?)" | 
					
						
							| 
									
										
										
										
											2019-07-17 19:37:18 +02:00
										 |  |  |     exit 1 | 
					
						
							| 
									
										
										
										
											2020-01-24 19:39:43 +01:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											2019-07-17 19:37:18 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-01-24 19:39:43 +01:00
										 |  |  | ./generate_libraries.sh || { | 
					
						
							|  |  |  |     echo "Failed to generate libraries! ($?)" | 
					
						
							| 
									
										
										
										
											2019-07-17 19:37:18 +02:00
										 |  |  |     exit 1 | 
					
						
							| 
									
										
										
										
											2020-01-24 19:39:43 +01:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | ./package_server.sh "${BUILD_PATH}" || { | 
					
						
							|  |  |  |     echo "Failed to package server! ($?)" | 
					
						
							|  |  |  |     exit 1 | 
					
						
							|  |  |  | } | 
					
						
							| 
									
										
										
										
											2019-07-17 19:37:18 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-01-24 19:39:43 +01:00
										 |  |  | ./deploy_build.sh "${BUILD_PATH}" || { | 
					
						
							|  |  |  |     echo "Failed to deploy package! ($?)" | 
					
						
							| 
									
										
										
										
											2019-07-17 19:37:18 +02:00
										 |  |  |     exit 1 | 
					
						
							| 
									
										
										
										
											2020-01-24 19:39:43 +01:00
										 |  |  | } |