/
vshmidt
/
pytorch
Обзор
Документация
Войти
/
vshmidt
/
pytorch
Код
Запросы
0
Задачи
Вики
Пакеты
0
Релизы
0
Аналитика
Безопасность
main
tools/git_reset_generated_dirs.sh
13 строк
357 B
Gregory Chanan
Add simple scripts for checking if generated code changed. (#12835)
22 окт 2018, 17:33
22 окт 2018, 17:33
25f4b3e
Код
Авторство
О чём код?
#!/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