From 165d5ab56fc4eeb8cea1e98206ec5f6064c6246e Mon Sep 17 00:00:00 2001
From: Martin Pärtel <martin.partel@gmail.com>
Date: Fri, 10 Nov 2023 12:43:20 +0200
Subject: Avoid undefined behaviour if uid_t/gid_t is signed.

This drops support for CentOS 7 because its GCC is too old
to support `__builtin_add_overflow`, and its EOL'ing in about
half a year anyway.

Fixes #143
---
 vagrant/centos7/Vagrantfile | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 vagrant/centos7/Vagrantfile

(limited to 'vagrant/centos7/Vagrantfile')

diff --git a/vagrant/centos7/Vagrantfile b/vagrant/centos7/Vagrantfile
deleted file mode 100644
index aa2ea0b..0000000
--- a/vagrant/centos7/Vagrantfile
+++ /dev/null
@@ -1,23 +0,0 @@
-# -*- mode: ruby -*-
-# vi: set ft=ruby :
-
-Vagrant.configure("2") do |config|
-  config.vm.box = "centos/7"
-
-  config.vm.synced_folder ".", "/vagrant", disabled: true
-  config.vm.synced_folder "../../", "/bindfs",
-    type: "rsync",
-    rsync__auto: false,
-    rsync__exclude: ["vagrant"],
-    rsync__args: ["-av", "--delete-after"]
-
-  config.vm.provider "virtualbox" do |v|
-    v.name = "bindfs-centos7"
-  end
-
-  config.vm.provision "shell", inline: <<-SHELL
-    yum install -y fuse fuse-devel gcc make pkg-config ruby valgrind
-    usermod -G fuse -a vagrant
-    echo user_allow_other > /etc/fuse.conf
-  SHELL
-end
-- 
cgit v1.2.3