tree ce567d39dcb10e014117f8d31f9640435ea10307
parent 7637d661b911d6fa2a35bd48e1e10b35312c379e
author David Ostrovsky <david@ostrovsky.org> 1573650362 -0800
committer David Ostrovsky <david@ostrovsky.org> 1573652036 -0800

Jenkinsfile: Always build java sources if WORKSPACE file changed

Bug: Issue 11916
Change-Id: I0d273f8536c3b2ee10f8a6f938bc8dc3374ce0a5