- :swc so that the c-file name is derived from the unit-id on the command line, if not specified - in case :make is called with no args, it first checks for previous args and then for an existing, previously generated makefile before complaining about the missing argument
- :swc so that the c-file name is derived from the unit-id on the command line, if not specified
- in case :make is called with no args, it first checks for previous args and then for an existing, previously generated makefile before complaining about the missing argument


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@1842 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware