fix case of Win32
authorJoey Hess <joeyh@joeyh.name>
Thu, 4 Aug 2022 16:17:27 +0000 (12:17 -0400)
committerJoey Hess <joeyh@joeyh.name>
Thu, 4 Aug 2022 16:17:27 +0000 (12:17 -0400)
Utility/LockFile/Windows.hs
doc/todo/windows__58___prepare_for_Win32_not_export_c__95___entities/comment_7_91c17601eed0936bab17cdf9ec5f3ecb._comment [new file with mode: 0644]

index 9ec34c9a796d460cb71e2ccc314368168503bcfd..6985f408cfa298f74c0fbe4a096b9067a859cdf6 100644 (file)
@@ -61,7 +61,7 @@ lockExclusive = openLock fILE_SHARE_NONE
 openLock :: ShareMode -> LockFile -> IO (Maybe LockHandle)
 openLock sharemode f = do
        f' <- convertToNativeNamespace f
-#if MIN_VERSION_win32(2,13,3)
+#if MIN_VERSION_Win32(2,13,3)
        r <- tryNonAsync $ createFile_NoRetry f' gENERIC_READ sharemode 
                security_attributes oPEN_ALWAYS fILE_ATTRIBUTE_NORMAL
                (maybePtr Nothing)
diff --git a/doc/todo/windows__58___prepare_for_Win32_not_export_c__95___entities/comment_7_91c17601eed0936bab17cdf9ec5f3ecb._comment b/doc/todo/windows__58___prepare_for_Win32_not_export_c__95___entities/comment_7_91c17601eed0936bab17cdf9ec5f3ecb._comment
new file mode 100644 (file)
index 0000000..24bf69e
--- /dev/null
@@ -0,0 +1,7 @@
+[[!comment format=mdwn
+ username="joey"
+ subject="""comment 7"""
+ date="2022-08-04T16:16:59Z"
+ content="""
+Ah yes, case-sensativity urk. Thanks, fixed.
+"""]]