+# The Rigol DS1xx2 driver currently uses the Linux kernel usbtmc module
+# (though it is planned to rewrite the driver to be portable later).
+# Thus, it will be disabled for non-Linux builds for now.
+case "$host" in
+*linux*)
+ # Do nothing. Whether the driver is enabled is determined by the
+ # previous --enable-all-drivers/--disable-all-drivers and/or any
+ # --enable-rigol-ds1xx2/--disable-rigol-ds1xx2 options.
+ ;;
+*)
+ # Disable the driver for builds that don't target Linux.
+ HW_RIGOL_DS1XX2="no"
+ ;;
+esac
+