The tip of the master branch is messed up -- it appears to me to be due to a faulty git merge. I didn't bother looking too much into it, as I was able to fix the installation script by reverting back a few commits.
For anybody having the same trouble, reverting back to sha @964457fe3b5b8008a8a5d685ec148569a72415bc worked for me.
toleda
commented
8 years ago
Hi there,
The tip of the master branch is messed up -- it appears to me to be due to a faulty git merge. I didn't bother looking too much into it, as I was able to fix the installation script by reverting back a few commits.
For anybody having the same trouble, reverting back to sha @964457fe3b5b8008a8a5d685ec148569a72415bc worked for me.
Thanks!
Cheers, Jeffrey Carpenter