From: Joel Brobecker Date: Wed, 1 Jan 2020 06:32:20 +0000 (+0400) Subject: gdb/copyright.py: Exit if run from the wrong directory X-Git-Tag: gdb-9.1-release~51 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=1458b0f311cb7eb206a87b4317f3787afa19558b;p=thirdparty%2Fbinutils-gdb.git gdb/copyright.py: Exit if run from the wrong directory We printed an error, but kept going anyway... ;-) gdb/ChangeLog: * copyright.py (main): Exit if run from the wrong directory. (cherry picked from commit 5fb651f2ddd54a1d3da6fcd172d9fab81893bbf9) --- diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 4a1d5ddee1f..f1cb5299c8f 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2020-01-01 Joel Brobecker + + * copyright.py (main): Exit if run from the wrong directory. + 2020-01-01 Joel Brobecker * top.c (print_gdb_version): Change copyright year to 2020. diff --git a/gdb/copyright.py b/gdb/copyright.py index 84ead523eea..7771d9d7f64 100644 --- a/gdb/copyright.py +++ b/gdb/copyright.py @@ -34,6 +34,7 @@ import datetime import os import os.path import subprocess +import sys def get_update_list(): @@ -143,6 +144,8 @@ def main (): """The main subprogram.""" if not os.path.isfile("gnulib/import/extra/update-copyright"): print "Error: This script must be called from the gdb directory." + sys.exit(1) + root_dir = os.path.dirname(os.getcwd()) os.chdir(root_dir)