Makefile update #8
I think this is minor, until you need this to build PSharp, as we need to completely rewrite the Makefile. After implementing dynamic library support, we will divide the code to modules.
Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?