gnatcoll_shared.gpr
This is for convenience when working with multiple branches in git:
by changing the value (in a single place) on each branch, we can keep
the build tree for each branch, and avoid extra recompilation when
changing branches. For instance, one can set Object_Dir and Library_Dir
to the following value in gnatcoll_shared.gpr (not checked in):
for Object_Dir use "obj/" & External ("GIT_BRANCH", "");
for Library_Dir use "lib/" & External ("GIT_BRANCH", "");
provided the environment variable GIT_BRANCH is set automatically every
time you change the branch (that's under control of the shell)
git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@160904 936e1b1b-40f2-da11-902a-00137254ae57
