diff options
| author | Robin Gareus <robin@gareus.org> | 2019-07-04 22:21:14 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2019-07-04 22:21:14 +0200 |
| commit | dbc0c54ced49c24fbfbb88b0ccf02f8bc0cc78e1 (patch) | |
| tree | e255495ea8aa333ab8e06c2351aaafd8e94cd516 /tools | |
| parent | bd8897686a32e5f2c921219ce319aaecab11cb88 (diff) | |
Use exit-status macros for compatibility 1/3
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/fmt-luadoc.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/fmt-luadoc.php b/tools/fmt-luadoc.php index b13e38617c..79c0a791bc 100755 --- a/tools/fmt-luadoc.php +++ b/tools/fmt-luadoc.php @@ -52,7 +52,7 @@ foreach (json_decode ($json, true) as $b) { if (count ($doc) == 0) { fwrite (STDERR, "Failed to read luadoc.json\n"); - exit (1); + exit (EXIT_FAILURE); } ################################################################################ |