Explicitly make "/tmp/DroidBench" be a file, not just a string
I'm hoping this might remove some seemingly-spurious reruns of this task. Still not sure why those are happening, though.
This commit is contained in:
parent
56b3c1d37c
commit
6a4ed60e9a
|
@ -21,7 +21,7 @@ dependencies {
|
|||
|
||||
task cloneDroidBench(type: Exec) {
|
||||
// TODO: download to somewhere private to this build tree; update code that looks in "/tmp" accordingly
|
||||
def destDir = '/tmp/DroidBench'
|
||||
def destDir = file('/tmp/DroidBench')
|
||||
inputs.property('repository', 'https://github.com/secure-software-engineering/DroidBench.git')
|
||||
outputs.dirs destDir
|
||||
doFirst { delete destDir }
|
||||
|
|
Loading…
Reference in New Issue