diff options
| -rwxr-xr-x | util/release/genrelnotes | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/util/release/genrelnotes b/util/release/genrelnotes index c19aaa7215..d0f1a7ac1c 100755 --- a/util/release/genrelnotes +++ b/util/release/genrelnotes @@ -192,7 +192,6 @@ version_ctrl_c() { -exec rename 's/gnumakefile/Makefile\.inc/' {} \; git checkout origin/master > /dev/null 2>&1 git submodule update --init --checkout > /dev/null 2>&1 - rm -f "$mainboard_list_old" "$mainboard_list_new" rm "$LOGFILE" exit 1; } |