diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-04-05 13:40:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-05 13:40:08 +0200 |
| commit | 43f298a783a119a98a2fe91f234870ad70620872 (patch) | |
| tree | b3121b78b287762777cbbbc3ac1c89b7a4bcf433 | |
| parent | e1b9c9803239ea61fad03b67d97cf3dafd44fea7 (diff) | |
| parent | bdc64efcb3419e3ae33ac10426ae1a88a469759c (diff) | |
Merge pull request #17984 from n4nn31355/fix_x11_segfault
Fix segfault on x11
| -rw-r--r-- | main/SCsub | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/SCsub b/main/SCsub index 9eddc4f5b6..e2bf03234f 100644 --- a/main/SCsub +++ b/main/SCsub @@ -121,7 +121,7 @@ def make_default_controller_mappings(target, source, env): g.write("\t\"{}\",\n".format(mapping)) g.write("#endif\n") - g.write("};\n") + g.write("\tNULL\n};\n") g.close() env.main_sources = [] |