|
@@ -2,7 +2,15 @@
|
|
|
|
|
|
if [ "$1" == "SGX" ]; then
|
|
|
if [ "$SGX" != "0" ]; then
|
|
|
- export SGX=1
|
|
|
+ export SGX=1
|
|
|
+ # Sometimes, we end up with a stray SGX_RUN in the environment,
|
|
|
+ # which makes the Makefile.Host unhappy
|
|
|
+ unset SGX_RUN
|
|
|
+ # The interaction of SGX and SGX_RUN is getting pretty unwieldly.
|
|
|
+ # We should kill off SGX_RUN. Here, we can get in trouble
|
|
|
+ # if the make invocation below gets SGX_RUN via an MAKEFLAGS
|
|
|
+ # from a wrapper makefile (e.g., the regression tests)
|
|
|
+ unset MAKEFLAGS
|
|
|
fi
|
|
|
shift
|
|
|
fi
|