Workspace directory now works correctly when using separate build dir.
authorJustin Seyster <jseyster@cs.sunysb.edu>
Fri, 13 Aug 2010 20:52:22 +0000 (16:52 -0400)
committerJustin Seyster <jseyster@cs.sunysb.edu>
Fri, 13 Aug 2010 20:52:22 +0000 (16:52 -0400)
commit4e79125e7ddd1c1ddd030a927f539af4a0e35dbe
tree918ff512b7e2a80426e47e1320ec4ae77953c3f7
parent234d71cb5e80573dc52212cc52f320c4ccc4973e
Workspace directory now works correctly when using separate build dir.
configure.in
workspace/Makefile [deleted file]
workspace/Makefile.in [new file with mode: 0644]
workspace/README