From ffa41a6120a2d07a8dc5a4bb1930f7f6bb610259 Mon Sep 17 00:00:00 2001
From: Ben Liblit <liblit@cs.wisc.edu>
Date: Thu, 16 Mar 2017 19:29:29 -0500
Subject: [PATCH] Clone DroidBench in the desired place without pushhd/popd

IMHO this is a simpler way to achieve the desired result.
---
 .travis.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 459dbbc9e..7f51c0b6c 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -3,11 +3,9 @@ jdk: oraclejdk8
 before_install:
  - "export DISPLAY=:99.0"
  - "sh -e /etc/init.d/xvfb start"
- - "pushd /tmp"
- - "git clone --depth=1 https://github.com/secure-software-engineering/DroidBench.git"
- - "popd"
  - "mkdir -p $TRAVIS_BUILD_DIR/com.ibm.wala.dalvik.test/lib"
  - "find /usr/local -name dx.jar -exec cp '{}' $TRAVIS_BUILD_DIR/com.ibm.wala.dalvik.test/lib/dx.jar ';'"
+ - "git clone --depth=1 https://github.com/secure-software-engineering/DroidBench.git /tmp/DroidBench"
 install:
  - mvn clean verify -DskipTests=true -B -q
 script: