diff options
| author | Jack Lloyd <[email protected]> | 2019-04-17 18:12:52 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2019-04-17 18:12:52 -0400 |
| commit | b6963f249405a1202d6775b7105ef78a06b8583e (patch) | |
| tree | 950025d4e9692655a7c1db396a359187cc4509f8 /src/lib/rng | |
| parent | fc4e8b84152211c966ee5c50b34b4893c69ee0f1 (diff) | |
Make the ISA list a list
Diffstat (limited to 'src/lib/rng')
| -rw-r--r-- | src/lib/rng/rdrand_rng/info.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/lib/rng/rdrand_rng/info.txt b/src/lib/rng/rdrand_rng/info.txt index 0d0fc42a4..fa40c6c46 100644 --- a/src/lib/rng/rdrand_rng/info.txt +++ b/src/lib/rng/rdrand_rng/info.txt @@ -2,7 +2,9 @@ RDRAND_RNG -> 20160619 </defines> -need_isa rdrand +<isa> +rdrand +</isa> <cc> gcc |