diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-10 11:40:01 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-10 11:40:01 -0700 |
| commit | b0b14ba3a02a754d4e960ee144a554b7e4a65c21 (patch) | |
| tree | d31e39e78151d141a236d6933ba059ab732d7a05 /src/batchtools | |
| parent | e0c9841084810b43320245a3ea0546982f85bddc (diff) | |
Change the path to the extensions being tested
Diffstat (limited to 'src/batchtools')
| -rw-r--r-- | src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java b/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java index db73fec..9dd0736 100644 --- a/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java +++ b/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java @@ -42,8 +42,8 @@ public class Drivers { private static final String defaultFiveuiRootPath = "../../../"; private static final String firefoxProfilePath = "profiles/firefox"; private static final String chromeProfilePath = "profiles/chrome"; - private static final String firefoxExtensionPath = "binaries/fiveui.xpi"; - private static final String chromeExtensionPath = "binaries/fiveui.crx"; + private static final String firefoxExtensionPath = "build/fiveui.xpi"; + private static final String chromeExtensionPath = "build/fiveui.crx"; /** * Query the OS environment for the FiveUI root path, or return a default. |