12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970 |
- config() {
- :
- }
- device() {
- :
- }
- factory_image() {
- :
- }
- sysupgrade_image() {
- :
- }
- alias() {
- :
- }
- manifest_alias() {
- :
- }
- packages() {
- :
- }
- factory() {
- :
- }
- sysupgrade() {
- :
- }
- no_opkg() {
- :
- }
- 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
- }
|