From efee8d3a22fd42f3c5458e23f795fe9141bc3d3f Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Sun, 6 Mar 2022 13:18:53 -0800
Subject: [PATCH] change from clang to gcc when compiling testvector-generation
 executables

---
 linux/testvector-generation/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/linux/testvector-generation/Makefile b/linux/testvector-generation/Makefile
index 8f3441e5..54f95f20 100644
--- a/linux/testvector-generation/Makefile
+++ b/linux/testvector-generation/Makefile
@@ -1,7 +1,7 @@
 SHELL = /bin/sh
 
 CFLAG = -Wall -g
-CC = clang
+CC = gcc
 
 all: fixBinMem silencePipe