[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