diff options
Diffstat (limited to 'plugins/QuickSearch')
| -rw-r--r-- | plugins/QuickSearch/make.bat | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/plugins/QuickSearch/make.bat b/plugins/QuickSearch/make.bat index 6002b54cf6..bcd94a14fb 100644 --- a/plugins/QuickSearch/make.bat +++ b/plugins/QuickSearch/make.bat @@ -1,4 +1,8 @@ @echo off
+set p1=%1
+set p2=%2
+if "%p1%" == "" (echo "please specify target platform by adding 'fpc' or 'fpc64 parameter to commamd 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 /i '%1' == 'fpc' (
set OUTDIR="..\..\bin%2\Release\Plugins"
set FPCBIN=fpc.exe
|