diff --git a/tools/generated_dirs.txt b/tools/generated_dirs.txt new file mode 100644 index 00000000000000..4a251be3727549 --- /dev/null +++ b/tools/generated_dirs.txt @@ -0,0 +1,3 @@ +torch/csrc/autograd/generated/ +torch/csrc/jit/generated/ +build/aten/src/ATen diff --git a/tools/git_add_generated_dirs.sh b/tools/git_add_generated_dirs.sh new file mode 100755 index 00000000000000..d91f513c4eeb7a --- /dev/null +++ b/tools/git_add_generated_dirs.sh @@ -0,0 +1,13 @@ +#!/bin/sh + +# HOW TO USE: +# 1) python setup.py ... +# 2) tools/git_add_generated_dirs +# 3) Edit codegen +# 4) python setup.py ... +# 5) git diff to see changes +# 6) If satisfied: tools/git_reset_generated_dirs, commit, etc. +# If not satisfied: Go to 3) + +BASEDIR=$(dirname "$0") +(< $BASEDIR/generated_dirs.txt xargs -i find {} -type f) | xargs git add -f diff --git a/tools/git_reset_generated_dirs.sh b/tools/git_reset_generated_dirs.sh new file mode 100755 index 00000000000000..852693e09d5556 --- /dev/null +++ b/tools/git_reset_generated_dirs.sh @@ -0,0 +1,13 @@ +#!/bin/sh + +# HOW TO USE: +# 1) python setup.py ... +# 2) tools/git_add_generated_dirs +# 3) Edit codegen +# 4) python setup.py ... +# 5) git diff to see changes +# 6) If satisfied: tools/git_reset_generated_dirs, commit, etc. +# If not satisfied: Go to 3) + +BASEDIR=$(dirname "$0") +(< $BASEDIR/generated_dirs.txt xargs -i find {} -type f) | xargs git reset HEAD