chiark / gitweb /
Few fixes in build script.
authordaid <daid303@gmail.com>
Fri, 10 Feb 2012 16:34:28 +0000 (17:34 +0100)
committerdaid <daid303@gmail.com>
Fri, 10 Feb 2012 16:34:28 +0000 (17:34 +0100)
commit3b0845f87edc3a1672e4f3d71495c5f8ffbf310c
tree99646361f65f402bb09ec41697843e786f893b59
parent77d04ceab847c43738e3b19a20995ba4a9243a2d
Few fixes in build script.
build.sh