diff options
Diffstat (limited to 'plugins/!Deprecated')
| -rw-r--r-- | plugins/!Deprecated/ShlExt/make.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/!Deprecated/ShlExt/make.bat b/plugins/!Deprecated/ShlExt/make.bat index f97c5ed9a3..cafec3c210 100644 --- a/plugins/!Deprecated/ShlExt/make.bat +++ b/plugins/!Deprecated/ShlExt/make.bat @@ -2,7 +2,7 @@ set p1=%1
set p2=%2
if "%p1%" == "" (echo "please specify target platform by adding 'fpc' or 'fpc64 parameter to command line!'"&&pause&&goto :EOF)
-if "%p2%" == "" (echo "please specify target output directory by adding 10 for bin10 or 11 for bin11 to command line!'"&&pause&&goto :EOF)
+if "%p2%" == "" (echo "please specify target output directory by adding 10 for bin10 or 11 for bin11 or 12 for bin12 to command line!'"&&pause&&goto :EOF)
if /i '%1' == 'fpc' (
set OUTDIR="..\..\bin%2\Release\Plugins"
set FPCBIN=fpc.exe
|