| #!/bin/bash |
| if [ "$#" != "1" ]; then |
| echo "usage: changeConfig.sh <config_path>" |
| exit -1 |
| fi |
| configFile=$1 |
| if [ "$OBSOLETE_KEEP_ADB_SECURE" != "1" ] || \ |
| [ "$EUCLID_BUILD_INSECURE_KERNEL" == "1" ] || \ |
| [ "$TARGET_BUILD_VARIANT" != "user" ] ; then \ |
| sed -i '/CONFIG_SECURITY_SELINUX_DEVELOP.*/d' $configFile |
| echo -e "CONFIG_SECURITY_SELINUX_DEVELOP=y\n" >> $configFile |
| else |
| sed -i '/CONFIG_SECURITY_SELINUX_DEVELOP.*/d' $configFile |
| fi |
| echo "===OBSOLETE_KEEP_ADB_SECURE = $OBSOLETE_KEEP_ADB_SECURE" |
| echo "===EUCLID_BUILD_INSECURE_KERNEL = $EUCLID_BUILD_INSECURE_KERNEL" |
| echo "===TARGET_BUILD_VARIANT = $TARGET_BUILD_VARIANT" |