packages/WAPPushManager/Android.bp

// Copyright 2007-2008 The Android Open Source Project

android_app {
    name: "WAPPushManager",
    srcs: ["src/**/*.java"],
    platform_apis: true,
    static_libs: ["android-common"],
    optimize: {
        proguard_flags_files: ["proguard.flags"],
    },

    system_ext_specific: true,
}