diff --git a/.gitignore b/.gitignore index 7acf84c3d8..99204f521e 100644 --- a/.gitignore +++ b/.gitignore @@ -17,3 +17,5 @@ java_console_binary .vscode *.cmp *.net +err.txt +log.txt \ No newline at end of file diff --git a/misc/jenkins/gen_config_and_push.bat b/misc/jenkins/gen_config_and_push.bat new file mode 100644 index 0000000000..f92a9573f5 --- /dev/null +++ b/misc/jenkins/gen_config_and_push.bat @@ -0,0 +1,8 @@ + + + +git fetch >> log.txt 2>> err.txt +rem git reset --hard origin/master >> log.txt 2>> err.txt +cd firmware +call gen_config.bat >> ../log.txt 2>>../err.txt +call gen_live_documentation.bat >> ../log.txt 2>>../err.txt