| 
									
										
										
										
											2019-11-30 19:27:08 +00:00
										 |  |  | #!/usr/bin/env bash
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-08-30 23:18:34 +00:00
										 |  |  | # | 
					
						
							|  |  |  | # Create directory for license activation | 
					
						
							|  |  |  | # | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-02-26 18:08:42 +00:00
										 |  |  | ACTIVATE_LICENSE_PATH="$GITHUB_WORKSPACE/_activate-license~" | 
					
						
							| 
									
										
										
										
											2021-08-30 23:18:34 +00:00
										 |  |  | mkdir -p "$ACTIVATE_LICENSE_PATH" | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-01-07 22:19:23 +00:00
										 |  |  | # | 
					
						
							| 
									
										
										
										
											2020-01-07 23:52:58 +00:00
										 |  |  | # Run steps | 
					
						
							| 
									
										
										
										
											2020-01-07 22:19:23 +00:00
										 |  |  | # | 
					
						
							| 
									
										
										
										
											2021-11-14 22:52:35 +00:00
										 |  |  | source /steps/set_gitcredential.sh | 
					
						
							| 
									
										
										
										
											2020-01-07 22:36:07 +00:00
										 |  |  | source /steps/activate.sh | 
					
						
							| 
									
										
										
										
											2020-01-07 23:52:58 +00:00
										 |  |  | source /steps/build.sh | 
					
						
							|  |  |  | source /steps/return_license.sh | 
					
						
							| 
									
										
										
										
											2020-01-07 22:19:23 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-08-30 23:18:34 +00:00
										 |  |  | # | 
					
						
							|  |  |  | # Remove license activation directory | 
					
						
							|  |  |  | # | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | rm -r "$ACTIVATE_LICENSE_PATH" | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-09-27 19:44:14 +00:00
										 |  |  | # | 
					
						
							|  |  |  | # Instructions for debugging | 
					
						
							|  |  |  | # | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | if [[ $BUILD_EXIT_CODE -gt 0 ]]; then | 
					
						
							|  |  |  | echo "" | 
					
						
							|  |  |  | echo "###########################" | 
					
						
							|  |  |  | echo "#         Failure         #" | 
					
						
							|  |  |  | echo "###########################" | 
					
						
							|  |  |  | echo "" | 
					
						
							|  |  |  | echo "Please note that the exit code is not very descriptive." | 
					
						
							|  |  |  | echo "Most likely it will not help you solve the issue." | 
					
						
							|  |  |  | echo "" | 
					
						
							|  |  |  | echo "To find the reason for failure: please search for errors in the log above." | 
					
						
							|  |  |  | echo "" | 
					
						
							|  |  |  | fi; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-11-30 19:27:08 +00:00
										 |  |  | # | 
					
						
							| 
									
										
										
										
											2020-01-07 23:52:58 +00:00
										 |  |  | # Exit with code from the build step. | 
					
						
							| 
									
										
										
										
											2019-11-30 19:27:08 +00:00
										 |  |  | # | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | exit $BUILD_EXIT_CODE |