edits

[cdsspec-compiler.git] / setup-env.sh

diff --git a/setup-env.sh b/setup-env.sh
index 4946f85..1738ee4 100644 (file)
--- a/setup-env.sh
+++ b/setup-env.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 if [ -z $1 ]; then
-       export SPEC_COMPILER_HOME=~/spec-compiler-home
+       export SPEC_COMPILER_HOME=~/spec-checker-compiler
 else
        export SPEC_COMPILER_HOME=$1
 fi