diff options
| author | Norbert Thiebaud <nthiebaud@gmail.com> | 2012-09-27 07:38:02 -0500 |
|---|---|---|
| committer | Norbert Thiebaud <nthiebaud@gmail.com> | 2012-09-27 07:38:02 -0500 |
| commit | dca431cfea27385ffbcbebd3f080176a809bf9a2 (patch) | |
| tree | 262d17d506d4a59b96373a0368174024d6c5b590 /sw | |
| parent | 1cb87841f452ad7bb52aa0279edba6b6e980fbc7 (diff) | |
revert the change in gbuild.mk : use /bin/sh as SHELL
This is for performance reasons.
there is a measurable benefit of being able to use /bin/dash
vs /bin/bash
and since make is a big consumer of shells, it is worth the pain.
Change-Id: I0654bee1e7bab1041cd00b5e71498bd593aeeecb
Diffstat (limited to 'sw')
0 files changed, 0 insertions, 0 deletions