Emit options of all devices

2022-07-08 12:20:09 +02:00
parent b4668aa320
commit 6460d1b902
3 changed files with 16 additions and 5 deletions
--- a/device/device.c
+++ b/device/device.c
@ -213,7 +213,7 @@ int device_video_force_key(device_t *dev)

 void device_dump_options(device_t *dev, FILE *stream)
 {
-  if (dev || dev->hw->device_dump_options) {
+  if (dev && dev->hw->device_dump_options) {
    dev->hw->device_dump_options(dev, stream);
  }
 }