diff options
author | Siva Velusamy <vsiva@google.com> | 2013-07-29 09:28:27 -0700 |
---|---|---|
committer | Siva Velusamy <vsiva@google.com> | 2013-07-29 09:28:27 -0700 |
commit | 707bded397dd630131f6953ec1777312fb6ad6d9 (patch) | |
tree | c8f223a8cbbce34a3e4e1638d0d06f6f18197fb5 /tools/lint | |
parent | 18e8c06c5d3bc534fea213b2201ba0dbb7994c45 (diff) | |
download | devtools-707bded397dd630131f6953ec1777312fb6ad6d9.tar.gz |
Update lint launcher prebuilts to add awt.headless option
Change-Id: Ifb18d620052a4c9f573001ff9c28ee8fad205dd2
Diffstat (limited to 'tools/lint')
-rwxr-xr-x | tools/lint | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -68,5 +68,6 @@ jarpath="$frameworkdir/$jarfile" exec "$javaCmd" \ -Xmx512m $os_opts $java_debug \ -Dcom.android.tools.lint.bindir="$progdir" \ + -Djava.awt.headless=true \ -classpath "$jarpath" \ com.android.tools.lint.Main "$@" |