config/companion_libs/ppl.in
| author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Sun Mar 28 23:01:19 2010 +0200 (2010-03-28) |
| changeset 1863 |
11cc7a5102fa |
| parent 1386 |
7995942261f2
|
| child 2072 |
72b3996ba3e6 |
| permissions |
-rw-r--r-- |
scripts/populate: cleanups and misc fixes
- it's a POSIX compliant shell script: drop bash, use /bin/sh
- fix help text
- use an absolute path for sysroot
- replace "echo" with "printf"
- replace "stat -c '%i'" with "ls -1id"
- replace "pushd / popd" with "cd / cd -"
- remove superfluous break
- bail out if required lib not found, except if forced