diff options
| author |  Konstantin Varlamov <var-const@users.noreply.github.com> | 2018-04-16 21:54:51 -0400 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-04-16 21:54:51 -0400 |
| commit | 257d833efcfdd04f1d6b15b7308170733c14990e (patch) | |
| tree | 57c4a3d6c69d3043cd574071396265a1890fd41c /scripts | |
| parent | ad321bb27910cec49f15b4ece124448d9fcf6b5c (diff) | |
Travis: trigger rebuild if Travis config or build scripts have changed. (#1121)
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/if_changed.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/if_changed.sh b/scripts/if_changed.sh index b075a97..697cad2 100755 --- a/scripts/if_changed.sh +++ b/scripts/if_changed.sh @@ -66,6 +66,10 @@ else esac fi +# Always rebuild if Travis configuration and/or build scripts changed. +check_changes '^.travis.yml' +check_changes '^scripts/(build|if_changed).sh' + if [[ "$run" == true ]]; then "$@" else |