diff options
| author |  rsgowman <rgowman@google.com> | 2018-04-20 11:14:47 -0400 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-04-20 11:14:47 -0400 |
| commit | 9fbbbcb2a25119a5966855498a5828bb430e7978 (patch) | |
| tree | ca61473247ad141fba02b71325a3e694a34b6d50 /scripts | |
| parent | 58b0aefc66772977752d01e35927e9eab3ee775f (diff) | |
Fix build breakages under linux (gcc) (#1154)
* fix multiline comments by subst /* ... */ for //
* fix unreachable case in a switch statement
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions