@@ -20,7 +20,7 @@ runs:
fi
cd "$GITHUB_WORKSPACE"
- cat >> "$GKI_DEFCONFIG" << EOF
+ cat >> "$GKI_DEFCONFIG" << 'EOF'
CONFIG_SYSVIPC=y
CONFIG_POSIX_MQUEUE=y
CONFIG_IPC_NS=y