diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-03-13 08:51:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-13 08:51:11 +0100 |
| commit | 03816e284b84780b18ec2d547b02b6666589e7c1 (patch) | |
| tree | 773a6bda3c3a5283e4fc52fb9eb3bfef74ec2a13 | |
| parent | 27a3447790db095cff4e723beecf16fa487f310c (diff) | |
| parent | f0b49216955c87f3674d0a26c7f684264de0795f (diff) | |
Merge pull request #17416 from viktor-ferenczi/issue-17414
Avoid confusing traceback on attempting build without platform option
| -rw-r--r-- | SConstruct | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/SConstruct b/SConstruct index 4ef302cac4..e8f9ec2964 100644 --- a/SConstruct +++ b/SConstruct @@ -491,6 +491,7 @@ else: for x in platform_list: print("\t" + x) print("\nPlease run scons again with argument: platform=<string>") + sys.exit(255) screen = sys.stdout |