diff options
| author |  Calvin Rose <calsrose@gmail.com> | 2020-11-17 09:48:31 -0600 |
|---|---|---|
| committer | Calvin Rose <calsrose@gmail.com> | 2020-11-17 09:53:12 -0600 |
| commit | 2dc04d2957ef2f93aea1a83f4f55d11fbeebc6e2 (patch) | |
| tree | 78c152bcd5b9f783aa0288976f91c69676ec54ee /build_win.bat | |
| parent | Merge branch 'master' of github.com:janet-lang/janet (diff) | |
On install, merge janetconf.h into janet.h
This results in a cleaner amalgmated build
Diffstat (limited to 'build_win.bat')
| -rw-r--r-- | build_win.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build_win.bat b/build_win.bat index ed51829f..d625950e 100644 --- a/build_win.bat +++ b/build_win.bat @@ -113,8 +113,8 @@ copy README.md dist\README.md copy janet.lib dist\janet.lib copy janet.exp dist\janet.exp -copy src\include\janet.h dist\janet.h -copy src\conf\janetconf.h dist\janetconf.h +janet.exe tools\patch-header.janet src\include\janet.h src\conf\janetconf.h build\janet.h +copy build\janet.h dist\janet.h copy build\libjanet.lib dist\libjanet.lib copy .\jpm dist\jpm |