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.
This commit is contained in:
Joel Brobecker 2020-01-01 09:08:08 +04:00
parent 5dd8bf886a
commit 5fb651f2dd
2 changed files with 7 additions and 0 deletions

View file

@ -1,3 +1,7 @@
2020-01-01 Joel Brobecker <brobecker@adacore.com>
* copyright.py (main): Exit if run from the wrong directory.
2020-01-01 Joel Brobecker <brobecker@adacore.com>
* top.c (print_gdb_version): Change copyright year to 2020.

View file

@ -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)