{NULL}
};
+#if defined(OPENSSL_RAND_SEED_DEVRANDOM) || defined(OPENSSL_RAND_SEED_EGD)
+static void printlist(const char *prefix, const char **dev)
+{
+ printf("%s (", prefix);
+ for ( ; *dev != NULL; dev++)
+ printf(" \"%s\"", *dev);
+ printf(" )");
+}
+#endif
+
int version_main(int argc, char **argv)
{
int ret = 1, dirty = 0, seed = 0;
printf(" rtdsc");
#endif
#ifdef OPENSSL_RAND_SEED_RDCPU
- printf(" rdrand-hardware");
+ printf(" rdrand ( rdseed rdrand )");
#endif
#ifdef OPENSSL_RAND_SEED_LIBRANDOM
printf(" C-library-random");
printf(" getrandom-syscall");
#endif
#ifdef OPENSSL_RAND_SEED_DEVRANDOM
- printf(" random-device");
+ {
+ static const char *dev[] = { DEVRANDOM, NULL };
+ printlist(" random-device", dev);
+ }
#endif
#ifdef OPENSSL_RAND_SEED_EGD
- printf(" EGD");
+ {
+ static const char *dev[] = { DEVRANDOM_EGD, NULL };
+ printlist(" EGD", dev);
+ }
#endif
#ifdef OPENSSL_RAND_SEED_NONE
printf(" none");