diff options
| -rw-r--r-- | tools/win_build.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/win_build.py b/tools/win_build.py index 73086917..9e0371ac 100644 --- a/tools/win_build.py +++ b/tools/win_build.py @@ -64,8 +64,8 @@ os.chdir(project_root) configure() if args.command == 'configure': - return + exit(0) build() if args.command == 'build': - return + exit(0) test() |