Merge branch 'master' into full-month-stats

[stg.git] / projects / sgauthstress / build

diff --git a/projects/sgauthstress/build b/projects/sgauthstress/build
index c4f254d2b948f2b02fa80c6c97694310e163c0a6..6cca9adb3d7ecd0726f9d96192d798a88cf5c6c9 100755 (executable)
--- a/projects/sgauthstress/build
+++ b/projects/sgauthstress/build
@@ -96,6 +96,16 @@ else
     SHELL="/usr/local/bin/bash"
 fi
 
     SHELL="/usr/local/bin/bash"
 fi
 

+if [ -z "$CC" ]
+then
+    CC=gcc
+fi
+
+if [ -z "$CXX" ]
+then
+    CXX=g++
+fi
+

 echo -n "Checking CC... "
 $CC --version > /dev/null 2> /dev/null
 if [ $? != 0 ]
 echo -n "Checking CC... "
 $CC --version > /dev/null 2> /dev/null
 if [ $? != 0 ]