diff options
Diffstat (limited to 'github_test.sh')
| -rw-r--r-- | github_test.sh | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/github_test.sh b/github_test.sh index fb94c95ac..274250a7d 100644 --- a/github_test.sh +++ b/github_test.sh @@ -1,12 +1,5 @@ #!/usr/bin/env bash -# CONFIGURATION=release or debug -if [ "${CC}" == "gcc" ] && [ "${CONFIGURATION}" == "release" ] -then - SLANG_TEST_CATEGORY=full -else - SLANG_TEST_CATEGORY=smoke -fi PLATFORM=$(uname -s | tr '[:upper:]' '[:lower:]') ARCHITECTURE=$(uname -m) @@ -25,6 +18,14 @@ if [ "${ARCHITECTURE}" == "x86_64" ]; then ARCHITECTURE="x64" fi +# CONFIGURATION=release or debug +if [ "${CC}" == "gcc" ] && [ "${CONFIGURATION}" == "release" ] && [ "${ARCHITECTURE}" == "x64" ] +then + SLANG_TEST_CATEGORY=full +else + SLANG_TEST_CATEGORY=smoke +fi + TARGET=${PLATFORM}-${ARCHITECTURE} OUTPUTDIR=bin/${TARGET}/${CONFIGURATION}/ |