fix "clbuild --implementation xx slime"
authorDavid Lichteblau <david@lichteblau.com>
Wed, 5 Jan 2011 20:56:44 +0000 (21:56 +0100)
committerDavid Lichteblau <david@radon.(none)>
Wed, 5 Jan 2011 20:56:44 +0000 (21:56 +0100)
commite7ef56233807eae7cf7dbef209bad9ff7025aa23
tree7097a24508bfdd940f2d2191708ae18c34ecd51a
parent08408ff7d2e1c25f883d835619c2f996f6841389
fix "clbuild --implementation xx slime"
clbuild