| version 1.107 | version 1.108 |
|---|
| |
| | |
| case --cxx: | case --cxx: |
| shift | shift |
| set CXX="$1" | set CXX_COMMAND="$1" |
| breaksw | breaksw |
| case --cxx-opts: | case --cxx-opts: |
| shift | shift |
| |
| breaksw | breaksw |
| case --cc: | case --cc: |
| shift | shift |
| set CC="$1" | set CC_COMMAND="$1" |
| breaksw | breaksw |
| case --cc-opts: | case --cc-opts: |
| shift | shift |
| |
| endif | endif |
| endif | endif |
| | |
| if ( $?CXX ) then | if ( $?CXX_COMMAND ) then |
| echo "CXX = $CXX" >> Make.config | echo "CXX = $CXX_COMMAND" >> Make.config |
| endif | endif |
| if ( $?CXX_OPTS ) then | if ( $?CXX_OPTS ) then |
| echo "CXXOPTS = $CXX_OPTS" >> Make.config | echo "CXXOPTS = $CXX_OPTS" >> Make.config |
| |
| if ( $?CXX_THREAD_OPTS ) then | if ( $?CXX_THREAD_OPTS ) then |
| echo "CXXTHREADOPTS = $CXX_THREAD_OPTS" >> Make.config | echo "CXXTHREADOPTS = $CXX_THREAD_OPTS" >> Make.config |
| endif | endif |
| if ( $?CC ) then | if ( $?CC_COMMAND ) then |
| echo "CC = $CC" >> Make.config | echo "CC = $CC_COMMAND" >> Make.config |
| endif | endif |
| if ( $?CC_OPTS ) then | if ( $?CC_OPTS ) then |
| echo "COPTS = $CC_OPTS" >> Make.config | echo "COPTS = $CC_OPTS" >> Make.config |