First approximation of a better build.sh
commit452da18bec98fa6ef60d7e3c3f66cc2f48a8aee9
authormalc <moosotc@gmail.com>
Fri, 6 Apr 2018 20:24:39 +0000 (6 23:24 +0300)
committermalc <moosotc@gmail.com>
Fri, 6 Apr 2018 20:24:39 +0000 (6 23:24 +0300)
tree16d2308344656db0c5183f4adc0e77bc2f467ee3
parent4e85806143c0ce44ca614d1aee81160b29eb167d
First approximation of a better build.sh

Tested with bash/dash/mksh/zsh.
build.sh
wsi.mli [moved from wsi/osx/wsi.mli with 100% similarity]
wsi/x11/wsi.mli [deleted file]