diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-11-08 15:36:29 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-11-08 15:36:58 -0800 |
| commit | cca74d2500b1e05b2927b68a50345875bbe91eff (patch) | |
| tree | 98dec27eba9e8b1b5fe38cadece38aef4c172be3 | |
| parent | 36fddc0cb55869d8b6f28a0a67ac2dd9da2a37fd (diff) | |
no-op for __builtin_prefetch; fixes #1765
| -rw-r--r-- | src/library.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/library.js b/src/library.js index 501f766c..e244491b 100644 --- a/src/library.js +++ b/src/library.js @@ -4164,6 +4164,11 @@ LibraryManager.library = { }, // ========================================================================== + // GCC/LLVM specifics + // ========================================================================== + __builtin_prefetch: function(){}, + + // ========================================================================== // LLVM specifics // ========================================================================== |