diff options
author | Florian Müllner <fmuellner@gnome.org> | 2017-09-30 03:08:59 +0200 |
---|---|---|
committer | Florian Müllner <fmuellner@gnome.org> | 2017-09-30 03:18:55 +0200 |
commit | f453b3780f9821cdf0b76e2c2278a9c8ff010678 (patch) | |
tree | 308cee9709baf74643b9bea788e9cfc197e464b7 /tools | |
parent | b5f5a594ba7ad96bf9d9a2bbda214dd7e33f7d47 (diff) | |
download | gnome-shell-f453b3780f9821cdf0b76e2c2278a9c8ff010678.tar.gz |
tools: Remove obsolete check-for-missing script
The script was used by a distcheck hook to check for files that are
in git, but not the distributed tarball. We dropped autotools support,
so the script is no longer used - in fact, it isn't useful anymore,
as `ninja dist` generates tarballs from git itself rather than from
a separately maintained list of files ...
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/check-for-missing.py | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/tools/check-for-missing.py b/tools/check-for-missing.py deleted file mode 100755 index 7b12371b7..000000000 --- a/tools/check-for-missing.py +++ /dev/null @@ -1,26 +0,0 @@ -#!/usr/bin/python3 -# -# This is a simple script that we use to check for files in git -# and not in the distribution. It was previously written in shell -# and inlined in the Makefile.am, but 'git ls-files --exclude=<pattern>' -# was changed to no longer do anything useful, which made that -# too challenging to be worthwhile. - -import fnmatch, os, subprocess, sys - -srcdir=sys.argv[1] -distdir=sys.argv[2] -excludes=sys.argv[3:] - -cwd=os.getcwd() -os.chdir(srcdir) - -status=0 -for f in subprocess.Popen(["git", "ls-files"], stdout=subprocess.PIPE).stdout: - f = f.decode('utf-8').strip() - if (not os.path.exists(os.path.join(cwd, distdir, f)) and - not any((fnmatch.fnmatch(f, p) for p in excludes))): - print("File missing from distribution:", f) - status=1 - -sys.exit(status) |