diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-10-29 22:27:30 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-10-29 22:27:30 (GMT) |
| commit | a5bbab574f7adc63180af6c9d24546b117d31b80 (patch) | |
| tree | 6ce6d2c50b1fde391d3f912c7d3cc02bacf84ca3 /samples | |
| parent | d31396bc23bb78ed3d17ea3fdd3274ef7a8bdec1 (diff) | |
Use 'gawk', not plain 'awk'.
We need GNU Awk? Then check for, and use 'gawk', not plain 'awk'.
Be a little mre verbose if a tool was not found.
/trunk/configure | 7 4 3 0 ++++---
/trunk/scripts/build/kernel/linux.sh | 2 1 1 0 +-
/trunk/scripts/functions | 16 8 8 0 ++++++++--------
/trunk/scripts/saveSample.sh | 4 2 2 0 ++--
4 files changed, 15 insertions(+), 14 deletions(-)
Diffstat (limited to 'samples')
0 files changed, 0 insertions, 0 deletions