[binutils-gdb] gdb/copyright.py: Exit if run from the wrong directory

[gdb-buildbot@sergiodj.net]

*** TEST RESULTS FOR COMMIT 5fb651f2ddd54a1d3da6fcd172d9fab81893bbf9 ***

commit 5fb651f2ddd54a1d3da6fcd172d9fab81893bbf9
Author:     Joel Brobecker <brobecker@adacore.com>
AuthorDate: Wed Jan 1 09:08:08 2020 +0400
Commit:     Joel Brobecker <brobecker@adacore.com>
CommitDate: Wed Jan 1 09:11:56 2020 +0400

    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.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 6a4d26939b..ca7960111f 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -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.
diff --git a/gdb/copyright.py b/gdb/copyright.py
index 84ead523ee..7771d9d7f6 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)