From 728af21e47daad7b20b2216fe6215d300c45aa56 Mon Sep 17 00:00:00 2001 From: Cheng Shao <terrorjack@type.dance> Date: Wed, 24 Apr 2024 14:37:34 +0000 Subject: [PATCH] utils: remove obsolete vagrant scripts Vagrantfile has long been removed in !5288. This commit further removes the obsolete vagrant scripts in the tree. --- utils/vagrant/bootstrap-deb.sh | 3 --- utils/vagrant/bootstrap-rhel.sh | 4 ---- 2 files changed, 7 deletions(-) delete mode 100755 utils/vagrant/bootstrap-deb.sh delete mode 100755 utils/vagrant/bootstrap-rhel.sh diff --git a/utils/vagrant/bootstrap-deb.sh b/utils/vagrant/bootstrap-deb.sh deleted file mode 100755 index b9ba957b4a40..000000000000 --- a/utils/vagrant/bootstrap-deb.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -apt-get update -apt-get build-dep -y ghc diff --git a/utils/vagrant/bootstrap-rhel.sh b/utils/vagrant/bootstrap-rhel.sh deleted file mode 100755 index eb28f07b1c0e..000000000000 --- a/utils/vagrant/bootstrap-rhel.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh -yum update -y -yum install -y glibc-devel ncurses-devel gmp-devel autoconf automake libtool \ - gcc make python ghc git -- GitLab