From 6a4ed60e9a2f74046e1e3e560785ca10dea55ab3 Mon Sep 17 00:00:00 2001 From: Ben Liblit Date: Wed, 17 Jan 2018 14:57:56 -0600 Subject: [PATCH] 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. --- com.ibm.wala.dalvik.test/build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/com.ibm.wala.dalvik.test/build.gradle b/com.ibm.wala.dalvik.test/build.gradle index 1db81e503..d9ed5ba76 100644 --- a/com.ibm.wala.dalvik.test/build.gradle +++ b/com.ibm.wala.dalvik.test/build.gradle @@ -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 }