fix java.library.path on make install with custom DESTDIR 54/18154/1
authorClément DAVID <clement.david@scilab-enterprises.com>
Wed, 11 May 2016 12:31:22 +0000 (14:31 +0200)
committerClément DAVID <clement.david@scilab-enterprises.com>
Wed, 11 May 2016 12:31:22 +0000 (14:31 +0200)
commit2ad6a3efeb29563f62b68fc9412625c8f670fdf6
tree9d0d4815bf29ced9b4dd07ca028aa54965ac8e13
parentb48152e4a1f5b086a8cdaefaf3f570ac647fbbbe
fix java.library.path on make install with custom DESTDIR

Change-Id: I56845de3c76b98688d79e42e44b34d01a9ece8ce
scilab/etc/librarypath.xml