Merge "Revert "API: enable API lint on public and system APIs""

2019-10-11 20:43:37 +00:00
parent 597703c518 fbaa860e03
commit 8657e7811f
3 changed files with 0 additions and 50096 deletions
--- a/Android.bp
+++ b/Android.bp
@@ -1461,11 +1461,6 @@ droidstubs {
            removed_api_file: "api/removed.txt",
            baseline_file: ":public-api-incompatibilities-with-last-released",
        },
-        api_lint: {
-            enabled: true,
-            new_since: ":last-released-public-api",
-            baseline_file: "api/lint-baseline.txt",
-        },
    },
    jdiff_enabled: true,
 }
@@ -1492,11 +1487,6 @@ droidstubs {
            removed_api_file: "api/system-removed.txt",
            baseline_file: ":system-api-incompatibilities-with-last-released"
        },
-        api_lint: {
-            enabled: true,
-            new_since: ":last-released-system-api",
-            baseline_file: "api/system-lint-baseline.txt",
-        },
    },
    jdiff_enabled: true,
 }
--- a/api/lint-baseline.txt
+++ b/api/lint-baseline.txt
--- a/api/system-lint-baseline.txt
+++ b/api/system-lint-baseline.txt