diff options
Diffstat (limited to 'tools/fmt-luadoc.php')
| -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); } ################################################################################ |