Improve out of source tree build
The build script on linux assumes that the build is made in the source tree. This small changes allows to easily build of of source in a completely different directory.
[A venir] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
[Coming soon] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
The build script on linux assumes that the build is made in the source tree. This small changes allows to easily build of of source in a completely different directory.