This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| build [2025/05/31 19:39] – [0. Prerequisite: Install GNU Make] admin | build [2025/07/29 17:34] (current) – admin | ||
|---|---|---|---|
| Line 12: | Line 12: | ||
| === When does it run? === | === When does it run? === | ||
| - | This build process runs automatically **after a successful push** from //Git Winch//. The `build.bat` file in the repository is triggered and can invoke GNU Make to execute post-push file actions. | + | This build process runs automatically **after a successful push** from //Git Winch//. The `build.bat` file in the repository is triggered and can invoke GNU Make to execute post-push file actions. |
| + | |||
| + | **Caution**\\ | ||
| + | If you have an anti-virus installed, make sure that it allows the execution of the `build.bat` file. | ||
| === How does it work? === | === How does it work? === | ||