diff options
Diffstat (limited to 'Master/bin/win32/vpl2ovp.bat')
| -rwxr-xr-x | Master/bin/win32/vpl2ovp.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/win32/vpl2ovp.bat b/Master/bin/win32/vpl2ovp.bat index 42ba109d438..db35d13b51c 100755 --- a/Master/bin/win32/vpl2ovp.bat +++ b/Master/bin/win32/vpl2ovp.bat @@ -7,7 +7,7 @@ rem Public Domain rem Make environment changes local
setlocal enableextensions
rem Get program/script name
-if not defined progname set progname=%~n0
+set progname=%~n0
rem Check if this is 'sys' version of program
set TEX_SYS_PROG=
if /i "%progname:~-4%"=="-sys" (
|