From 0caa12ae41a8bf199974baa09cffe47427a772e3 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Sun, 12 May 2019 15:47:44 +0100
Subject: Add randomisation of config file with --randomise

---
 scripts/setup.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'scripts')

diff --git a/scripts/setup.sh b/scripts/setup.sh
index 79d646c..efd07c5 100644
--- a/scripts/setup.sh
+++ b/scripts/setup.sh
@@ -1,8 +1,10 @@
 #!/bin/sh
 
 sudo yum -y update
+
+# In addition, need to install bison-3.3
 sudo yum -y install git gcc72 gcc72-c++ tcl-devel python36 \
-     graphviz xdot gperf gmp-devel make bison flex autoconf \
+     graphviz xdot gperf gmp-devel make flex autoconf \
      readline-devel clang6.0 tmux boost libffi-devel
 
 sudo mkdir -p /mnt/tools
-- 
cgit