diff options
-rwxr-xr-x | win32/doflex.cmd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/win32/doflex.cmd b/win32/doflex.cmd index b39d40b753..8f32fbdaa4 100755 --- a/win32/doflex.cmd +++ b/win32/doflex.cmd @@ -16,5 +16,5 @@ exit :noflex echo Flex not found. Using pre-generated files. -copy %~pn3.cpp %2.cpp +copy %~pn3.cpp.cvs %2.cpp exit |