diff options
author | 2017-01-30 20:48:25 (GMT) | |
---|---|---|
committer | 2017-01-30 20:48:25 (GMT) | |
commit | 51bedaf27e5ead5a237acde9944d14342d44d031 (patch) | |
tree | b77bf69afd45b11849d0d542928cad20d3c057cb /scripts/override/__default | |
parent | a78dc93b64e856d42516a1d854ad9e8e21c48afb (diff) | |
parent | 7d1b203d06408f9dcc360095b46b8e73e870ee3c (diff) |
Merge pull request #566 from stilor/fix-gentoo-hang
Fix gentoo hang
Diffstat (limited to 'scripts/override/__default')
-rw-r--r-- | scripts/override/__default | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/override/__default b/scripts/override/__default new file mode 100644 index 0000000..977b1f5 --- /dev/null +++ b/scripts/override/__default @@ -0,0 +1,3 @@ +#!@CONFIG_SHELL@ + +exec @TOOL_PATH@ "$@" |