Merge pull request #568 from ohagendorf/make_py

Tools: make.py - additional error handling when missing an option in private_setttings.py

workspace_tools/make.py

@@ -114,6 +114,8 @@ if __name__ == '__main__':
                     args_error(parser, "[ERROR] Program with name '%s' not found" % n)
                 else:
                     n = alias
+            else:
+                args_error(parser, "[ERROR] Program with name '%s' not found" % n)
         p = TEST_MAP[n].n
     if p is None or (p < 0) or (p > (len(TESTS)-1)):
         message = "[ERROR] You have to specify one of the following tests:\n"