# This script sets device options for the specified driver
# using the X_OPTION_01 .. X_OPTION_10 lts.conf vars
# or the older X_DEVICE_OPTION_01 .. X_DEVICE_OPTION_10 lts.conf vars
#

dev_options=$(env | sort -V | sed -n 's/^X_OPTION_[0-9]*=/        Option /p')

if [ -n "$dev_options" ]; then
    device_hacks="$device_hacks set_dev_options"
    CONFIGURE_X="True"
    set_dev_options() { echo "$dev_options"; }
fi
