diff --git a/.ci/grep.sh b/.ci/grep.sh index ed832c227c28d47521ddbe106482c22fc227308e..e34b97e015424b640e879fe033e641afec59e47c 100755 --- a/.ci/grep.sh +++ b/.ci/grep.sh @@ -62,14 +62,12 @@ if grep -qr $POSTMARKETOS_WALLPAPER_PATH \ --exclude-dir='device-pine64-pinetab' \ --exclude-dir='device-oneplus-kebab' \ --exclude-dir='device-xiaomi-willow' \ - --exclude-dir='device-nokia-n900' \ -- device; then echo "ERROR: Please don't include configuration files that set the default wallpaper in device-specific packages!" grep --color=always -r $POSTMARKETOS_WALLPAPER_PATH \ --exclude-dir='device-pine64-pinetab' \ --exclude-dir='device-oneplus-kebab' \ --exclude-dir='device-xiaomi-willow' \ - --exclude-dir='device-nokia-n900' \ -- device exit_code=1 fi