From 04a3f97ce241242476ed6a4be486a13a6bf5d8a6 Mon Sep 17 00:00:00 2001
From: Uri Blumenthal <uri@ll.mit.edu>
Date: Tue, 22 Sep 2020 20:32:00 -0400
Subject: [PATCH] Users have compilers other than GCC - do not mess with their
 settings

---
 Makefile.common | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.common b/Makefile.common
index a1d8e4d2..9df8168f 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -1,7 +1,7 @@
 # Shared Makefile for 
 
-CC = g++
-CXX = g++
+CC ?= g++
+CXX ?= g++
 ifndef LDLIBS
 LDLIBS := -lgtest -lpthread
 endif