[colobot] 92/145: Jenkinsfile: change RPATH to current directory

Didier Raboud odyx at moszumanska.debian.org
Mon Jul 11 12:56:21 UTC 2016


This is an automated email from the git hooks/post-receive script.

odyx pushed a commit to branch debian/master
in repository colobot.

commit 9feea63086d61ea57a25c36f13eff534ba3841b8
Author: krzys-h <krzys_h at interia.pl>
Date:   Sat May 28 11:09:12 2016 +0200

    Jenkinsfile: change RPATH to current directory
---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9ec312b..926f4e2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -29,6 +29,7 @@ node('master') {
             make
             rm -rf install
             DESTDIR=. make install
+            patchelf --set-rpath '.' install/colobot
         '''
     }
     sh 'rm -f linux-debug.zip'

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-games/colobot.git



More information about the Pkg-games-commits mailing list