about summary refs log tree commit diff homepage
path: root/Dockerfile
diff options
context:
space:
mode:
authorMartin Nowack <martin@se.inf.tu-dresden.de>2015-08-31 09:48:25 +0200
committerMartin Nowack <martin@se.inf.tu-dresden.de>2015-08-31 09:48:25 +0200
commit9c7364481547580d53f4f2c1a6c7b40a29e902de (patch)
treee62eb477770aed5ef653afae6b238a8a11cacbec /Dockerfile
parent957145ef5706c6aaa10ff7b1273e24df29c9b50a (diff)
downloadklee-9c7364481547580d53f4f2c1a6c7b40a29e902de.tar.gz
Delete old patches.
Say farewell to r940.
Diffstat (limited to 'Dockerfile')
-rw-r--r--Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile
index d9fdd02d..c15d7034 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -6,7 +6,7 @@ MAINTAINER Dan Liew <daniel.liew@imperial.ac.uk>
 # the resulting image is unnecessarily large!
 
 ENV LLVM_VERSION=3.4 \
-    STP_VERSION=UPSTREAM \
+    STP_VERSION=master \
     DISABLE_ASSERTIONS=0 \
     ENABLE_OPTIMIZED=1 \
     KLEE_UCLIBC=1 \