- actually, just support a "-f" option to use an alternate build Makefile
authorMark Huang <mlhuang@cs.princeton.edu>
Wed, 4 May 2005 21:47:29 +0000 (21:47 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Wed, 4 May 2005 21:47:29 +0000 (21:47 +0000)
commit0834c97897770e35a69809b0e9e3f5815dbc1d24
tree6028323986e7e776f11faff253c25a772cdcd4cf
parent23c2f9846271eab6abe4ae28bc6c85a1de629b76
- actually, just support a "-f" option to use an alternate build Makefile
build.sh