diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2016-10-02 10:08:40 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-10-02 12:12:54 +0200 |
| commit | f96598e4d51b05f057db98abf34da7088653ca3c (patch) | |
| tree | 57aa6c8faa0ed486bbc42b636b52f1290b2a90af | |
| parent | ee6391105fa85dc5a60733ae0086a3457459a2aa (diff) | |
| download | jenkins.debian.net-f96598e4d51b05f057db98abf34da7088653ca3c.tar.xz | |
update_jdn: also update kgb_configs when deploy_kgb.py has been modified
| -rwxr-xr-x | update_jdn.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 245fbdad..6be6b2a8 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -640,7 +640,7 @@ if [ "$HOSTNAME" = "jenkins" ] || [ "$HOSTNAME" = "profitbricks-build3-amd64" ] KGB_SECRETS="/srv/jenkins/kgb/secrets.yml" if [ -f "$KGB_SECRETS" ] && [ $(stat -c "%a:%U:%G" "$KGB_SECRETS") = "640:jenkins-adm:jenkins-adm" ] ; then # the last condition is to assure the files are owned by the right user/team - if [ "$KGB_SECRETS" -nt $STAMP ] || [ ! -f $STAMP ] ; then + if [ "$KGB_SECRETS" -nt $STAMP ] || [ "deploy_kgb.py" -nt "$STAMP" ] || [ ! -f $STAMP ] ; then sudo -u jenkins-adm "./deploy_kgb.py" else explain "kgb-client configuration unchanged, nothing to do." |