Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Report on missing commands in update script
So far, we simply reported that a command failed in the dev. script for updating to the latest meta-model. However, when the command does not exit, an exception is raised and the traceback is reported, which is uninformative for the user. In this patch, we report the exact command which could not be found.
- Loading branch information