Merge pull request #797 from dwightguth/cygwin

Fix cygwin for k 3.4
kframework · Aug 6, 2014 · 1eca711 · 1eca711
2 parents 1ca408a + 1de46ed
commit 1eca711
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/bin/krun.bat b/bin/krun.bat
@@ -1,5 +1,6 @@
 @ECHO off
 set PATH=%PATH%;%~dp0..\lib\native\cygwin;%~dp0..\lib\native\cygwin\x64
+set CYGWIN=nodosfilewarning
 SETLOCAL ENABLEEXTENSIONS
 IF ERRORLEVEL 1 ECHO Unable to enable extensions
 IF NOT DEFINED K_OPTS SET K_OPTS=-Xms64m -Xmx1024m -Xss32m

diff --git a/lib/maude/binaries/cygwin1.dll b/lib/maude/binaries/cygwin1.dll