diff options
author | Diego Biurrun <diego@biurrun.de> | 2013-03-04 23:02:02 +0100 |
---|---|---|
committer | Diego Biurrun <diego@biurrun.de> | 2013-03-05 11:04:37 +0100 |
commit | 2a7ab2dfaa7d5eeceb2d449230857bfcf6bfc9d6 (patch) | |
tree | 4844cf301aebc61e4a636efcf587db75c7a2ec76 | |
parent | 9c7d85b3b45a77742b1e69c48ab33f9c8a2e6f35 (diff) | |
download | ffmpeg-2a7ab2dfaa7d5eeceb2d449230857bfcf6bfc9d6.tar.gz |
configure: Use check_builtin() where appropriate
-rwxr-xr-x | configure | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -3317,9 +3317,8 @@ elif enabled sparc; then elif enabled x86; then - check_code ld intrin.h "__rdtsc()" && enable rdtsc - - check_code ld mmintrin.h "_mm_empty()" && enable mm_empty + check_builtin rdtsc intrin.h "__rdtsc()" + check_builtin mm_empty mmintrin.h "_mm_empty()" enable local_aligned_8 local_aligned_16 |