diff options
Diffstat (limited to 'PCbuild/build_pgo.bat')
| -rw-r--r-- | PCbuild/build_pgo.bat | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/PCbuild/build_pgo.bat b/PCbuild/build_pgo.bat deleted file mode 100644 index 872c3822ec..0000000000 --- a/PCbuild/build_pgo.bat +++ /dev/null @@ -1,6 +0,0 @@ -@echo off
-echo.DeprecationWarning:
-echo. This script is deprecated, use `build.bat --pgo` instead.
-echo.
-
-call "%~dp0build.bat" --pgo %*
|