Deprecates RUN_THIS.py in favor of manually doin' it (#3930)

This commit is contained in:
Swept
2021-05-05 04:15:05 +00:00
committed by GitHub
parent 9857f8197c
commit 94082e07a7
7 changed files with 3 additions and 175 deletions

View File

@@ -1,13 +0,0 @@
#!/bin/bash
gitroot=`git rev-parse --show-toplevel`
cd "$gitroot/BuildChecker"
if [[ `uname` == MINGW* || `uname` == CYGWIN* ]]; then
# Windows
py -3 git_helper.py --quiet
else
# Not Windows, so probably some other Unix thing.
python3 git_helper.py --quiet
fi