diff options
| author | Franziskus Kiefer <franziskuskiefer@gmail.com> | 2018-03-15 09:19:17 +0100 |
|---|---|---|
| committer | Franziskus Kiefer <franziskuskiefer@gmail.com> | 2018-03-15 09:19:17 +0100 |
| commit | d660ed005f51e67bda9b45e8c34b5deab9269182 (patch) | |
| tree | 0ff591256d2b66813d0c46a1e05bb2ebd675fc78 | |
| parent | 0161ef13322d8918bd44eadb0dc6aa8c557bb83a (diff) | |
| download | nss-hg-d660ed005f51e67bda9b45e8c34b5deab9269182.tar.gz | |
Bug 1441219 - always compile FStar to have it available on 32-bit non-intel platforms, r=ttaubert
Differential Revision: https://phabricator.services.mozilla.com/D735
| -rw-r--r-- | lib/freebl/freebl_base.gypi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/freebl/freebl_base.gypi b/lib/freebl/freebl_base.gypi index 22baf4e5c..f492291cb 100644 --- a/lib/freebl/freebl_base.gypi +++ b/lib/freebl/freebl_base.gypi @@ -59,7 +59,8 @@ 'sha_fast.c', 'shvfy.c', 'sysrand.c', - 'tlsprfalg.c' + 'tlsprfalg.c', + 'verified/FStar.c', ], 'conditions': [ [ 'OS=="linux" or OS=="android"', { @@ -135,7 +136,6 @@ # All intel and 64-bit ARM architectures get the 64 bit version. 'ecl/curve25519_64.c', 'verified/Hacl_Curve25519.c', - 'verified/FStar.c', ], }, { 'sources': [ |