about summary refs log tree commit diff homepage
path: root/scripts/build
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2018-07-09 18:28:20 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2018-07-11 11:38:20 +0100
commit1b07577005478f26a106d8636e5b3c4aabf7e8d6 (patch)
tree1b23fbf385a0060c4a4449f1a3c192543b43d75a /scripts/build
parentca346f2c1a08b79a0a2663daa0476e03139091c6 (diff)
downloadklee-1b07577005478f26a106d8636e5b3c4aabf7e8d6.tar.gz
Add missing curl
Diffstat (limited to 'scripts/build')
-rwxr-xr-xscripts/build/dependencies-ubuntu.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/build/dependencies-ubuntu.sh b/scripts/build/dependencies-ubuntu.sh
index 065893cd..52e161fd 100755
--- a/scripts/build/dependencies-ubuntu.sh
+++ b/scripts/build/dependencies-ubuntu.sh
@@ -19,6 +19,7 @@ apt -y --no-install-recommends install \
   binutils \
   bison \
   cmake \
+  curl \
   flex \
   git \
   groff-base \