Browse Source

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.
Timothy Flynn 2 years ago
parent
commit
2d7ad6dbe6
1 changed files with 1 additions and 0 deletions
  1. 1 0
      Base/root/generate_manpages.sh

+ 1 - 0
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 {