1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-06-24 22:11:15 +02:00

Merge pull request #13141 from obsidiansystems/fix-windows-warning

Fix windows warning
This commit is contained in:
John Ericson 2025-05-06 15:42:16 -04:00 committed by GitHub
commit 1e822bd414
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -25,6 +25,7 @@ inline void setInterruptThrown()
static inline bool isInterrupted()
{
/* Do nothing for now */
return false;
}
inline void checkInterrupt()