Merge pull request #115 from angerman/feature/libtool
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Wed, 6 Jan 2016 10:51:29 +0000 (10:51 +0000)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Wed, 6 Jan 2016 10:51:29 +0000 (10:51 +0000)
commit2f52d196dbd5cd3f1da25286deef5cb3cd17c142
tree2fcf6ae83f0516b24d0042109ec272763c0a90d8
parentf8d9ddc5a43872f248d60e7fcdb1f0c5be580cc1
parent7b5c5bf2250f088bac663c2d2773b32d5e1b756b
Merge pull request #115 from angerman/feature/libtool

Set CONFIG_SHELL, such that libtool obtains the bash header.