hmz007
36ed224bac
Signed-off-by: hmz007 <hmz007@gmail.com> Change-Id: Ib87fdbe7a0be7dc961af3500fe9ea4589a127f9f
5 lines
102 B
Bash
5 lines
102 B
Bash
#!/bin/sh
|
|
# bash is used in various headers so we need a wrapper to invoke sh
|
|
# instead.
|
|
exec sh "$@"
|