config/companion_libs/ppl.in
author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Tue Jan 25 22:14:52 2011 +0100 (2011-01-25) |
changeset 2281 |
1333e4ac89f0 |
parent 1535 |
073d351bdcd3
|
child 2318 |
11c21c4c5c51 |
permissions |
-rw-r--r-- |
config/toolchain: force use of sysroot if OBSOLETE is not set
Use of the sysroot is highly recommended, and the non-sysroot case is
both obsolete and not widely tested.
Before the non-sysroot case can go away, deprecate it.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>