diff options
Diffstat (limited to 'tools/dist-cmd.py')
| -rwxr-xr-x | tools/dist-cmd.py | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/tools/dist-cmd.py b/tools/dist-cmd.py deleted file mode 100755 index 30da5da..0000000 --- a/tools/dist-cmd.py +++ /dev/null @@ -1,12 +0,0 @@ -#!/usr/bin/env python3 - -# External command, intended to be called with meson.add_dist_script() in meson.build. -# meson.add_dist_script() can't call a script that's not committed to git. -# This script shall be committed. It can be used for calling other non-committed scripts. - -# dist-cmd.py <cmd> <args>... - -import sys -import subprocess - -sys.exit(subprocess.run(sys.argv[1:]).returncode) |