1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162 |
- config() {
- :
- }
- device() {
- :
- }
- factory_image() {
- :
- }
- sysupgrade_image() {
- :
- }
- alias() {
- :
- }
- packages() {
- :
- }
- factory() {
- :
- }
- sysupgrade() {
- :
- }
- unknown_devices="$DEVICES"
- want_device() {
- [ "$DEVICES" ] || return 0
- local new_devices=''
- for device in $unknown_devices; do
- if [ "$device" != "$1" ]; then
- new_devices="${new_devices:+${new_devices} }$device"
- fi
- done
- unknown_devices=$new_devices
- for device in $DEVICES; do
- if [ "$device" = "$1" ]; then
- return 0
- fi
- done
- return 1
- }
- check_devices() {
- if [ "$unknown_devices" ]; then
- echo "Error: unknown devices given: ${unknown_devices}" >&2
- exit 1
- fi
- }
|