Skip to content

Commit 091fd62

Browse files
committed
Try for Debian x86
1 parent 7a10cde commit 091fd62

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Modules/_hacl/libintvector.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@
1919

2020
#define Lib_IntVector_Intrinsics_bit_mask64(x) -((x) & 1)
2121

22-
#if defined(__x86_64__) || defined(_M_X64)
22+
#if defined(__x86_64__) || defined(_M_X64) || defined(__i386__) || defined(_M_IX86)
2323

2424
#if defined(HACL_CAN_COMPILE_VEC128)
2525

0 commit comments

Comments
 (0)