build script needs bash
authorAdam Chlipala <adamc@hcoop.net>
Sun, 6 Apr 2008 16:30:52 +0000 (16:30 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 6 Apr 2008 16:30:52 +0000 (16:30 +0000)
commit20960a5e88d963c688f8742b10d1c1f7094cc9da
tree4acbd19101c71e5cdabbe643e3395e428ee006d3
parente0a22fd8f9dd606c55f9279ececb7921b8f7ed8e
build script needs bash
build