14 lines
353 B
Bash
Executable File
14 lines
353 B
Bash
Executable File
#!/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
|