[etc] Fix a build break (the build it self would simply die)
-rw-r--r-- 3634 BuildRelease.bat
drwxr-xr-x - core
-rw-r--r-- 52 dirs
drwxr-xr-x - docs
drwxr-xr-x - etc
drwxr-xr-x - hw
drwxr-xr-x - inc
drwxr-xr-x - tests
drwxr-xr-x - tools
drwxr-xr-x - ulp