diff options
| author | Sönke Hahn <soenkehahn@gmail.com> | 2014-05-23T03·41+0800 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-05-26T15·21+0200 |
| commit | b1d39d476544644b2de8addb5ad3289fede2f95a (patch) | |
| tree | e7d34224d965f3889d148390b27e6a13d751f7bd /Makefile.config.in | |
| parent | 8ea9fd7aa6b2152f95724e504ac61c57d90b113c (diff) | |
dev-shell is a bash script, not sh
'type -p' does not work in e.g. dash
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions