From 5fb651f2ddd54a1d3da6fcd172d9fab81893bbf9 Mon Sep 17 00:00:00 2001 From: Joel Brobecker Date: Wed, 1 Jan 2020 09:08:08 +0400 Subject: 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. --- gdb/copyright.py | 3 +++ 1 file changed, 3 insertions(+) (limited to 'gdb/copyright.py') diff --git a/gdb/copyright.py b/gdb/copyright.py index 84ead52..7771d9d 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) -- cgit v1.1