Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. Do not add the $platform dir inside the install dir. (#1233) (details)
Commit 00f9fde4678ab749619818e068a7090b7d962e28 by Mahder Gebremedhin
Do not add the $platform dir inside the install dir. (#1233)

  - instead of `install/linux` or `install/mingw`, just install to `install`

  - This does not seem to provide any advantage. On the other hand the
    platform detection mechanism needed to identify this make things
    unnecessarily complicated and confusing.
The file was modified configWinVS.bat (diff)
The file was modified buildWinVS.bat (diff)
The file was modified testsuite/difftool/Makefile (diff)
The file was modified testsuite/rtest (diff)
The file was modified doc/UsersGuide/Makefile (diff)
The file was modified Jenkinsfile (diff)
The file was modified Makefile (diff)