diff options
| author | Timothy Flynn <trflynn89@pm.me> | 2022-10-31 18:25:01 -0400 |
|---|---|---|
| committer | Timothy Flynn <trflynn89@pm.me> | 2022-10-31 18:25:01 -0400 |
| commit | 2d7ad6dbe6675213ca2586ffc396548a023786b6 (patch) | |
| tree | 1a499059081386076e60b600c835ba420f321a44 /Base | |
| parent | 83e62e8c4f1d13278d88ba191947a93f88519630 (diff) | |
| download | serenity-2d7ad6dbe6675213ca2586ffc396548a023786b6.zip | |
CI: Remove the manpage generator error file upon success
On some systems, just specifying "2> error_file" will create the file,
even if nothing is logged to it.
Diffstat (limited to 'Base')
| -rwxr-xr-x | Base/root/generate_manpages.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Base/root/generate_manpages.sh b/Base/root/generate_manpages.sh index 4c3eb69559..ebbdc8c8de 100755 --- a/Base/root/generate_manpages.sh +++ b/Base/root/generate_manpages.sh @@ -53,6 +53,7 @@ for i in ( \ echo -e "\n<!-- Auto-generated through ArgsParser -->" >> "$filename" 2> "$ERROR_FILE" || exit_for_error } +rm -f "$ERROR_FILE" echo "Successful." if test $DO_SHUTDOWN_AFTER_GENERATE { |