File tree 1 file changed +7
-13
lines changed 1 file changed +7
-13
lines changed Original file line number Diff line number Diff line change @@ -142,22 +142,16 @@ jobs:
142
142
143
143
install :
144
144
- ccache --max-size=1G
145
- - COMMAND="make -C src minisat2-download" &&
146
- eval ${PRE_COMMAND} ${COMMAND}
147
- - COMMAND="make -C src/ansi-c library_check" &&
148
- eval ${PRE_COMMAND} ${COMMAND}
149
- - COMMAND="make -C src CXX=\"$COMPILER\" CXXFLAGS=\"-Wall -Werror -pedantic -O2 -g $EXTRA_CXXFLAGS\" -j2" &&
150
- eval ${PRE_COMMAND} ${COMMAND}
151
- - COMMAND="make -C src CXX=\"$COMPILER\" CXXFLAGS=\"$FLAGS $EXTRA_CXXFLAGS\" -j2 clobber.dir memory-models.dir musketeer.dir" &&
152
- eval ${PRE_COMMAND} ${COMMAND}
145
+ - make -C src minisat2-download
146
+ - make -C src/ansi-c library_check
147
+ - make -C src "CXX=${COMPILER}" "CXXFLAGS=-Wall -Werror -pedantic -O2 -g ${EXTRA_CXXFLAGS}" -j2
148
+ - make -C src "CXX=${COMPILER}" "CXXFLAGS=-Wall -Werror -pedantic -O2 -g ${EXTRA_CXXFLAGS}" -j2 clobber.dir memory-models.dir musketeer.dir
153
149
154
150
script :
155
151
- if [ -e bin/gcc ] ; then export PATH=$PWD/bin:$PATH ; fi ;
156
- COMMAND="env UBSAN_OPTIONS=print_stacktrace=1 make -C regression test CXX=\"$COMPILER\" CXXFLAGS=\"-Wall -Werror -pedantic -O2 -g $EXTRA_CXXFLAGS\"" &&
157
- eval ${PRE_COMMAND} ${COMMAND}
158
- - COMMAND="make -C unit CXX=\"$COMPILER\" CXXFLAGS=\"-Wall -Werror -pedantic -O2 -g $EXTRA_CXXFLAGS\" -j2" &&
159
- eval ${PRE_COMMAND} ${COMMAND}
160
- - COMMAND="make -C unit test" && eval ${PRE_COMMAND} ${COMMAND}
152
+ - env UBSAN_OPTIONS=print_stacktrace=1 make -C regression test "CXX=${COMPILER}" "CXXFLAGS=-Wall -Werror -pedantic -O2 -g ${EXTRA_CXXFLAGS}"
153
+ - make -C unit "CXX=${COMPILER}" "CXXFLAGS=-Wall -Werror -pedantic -O2 -g ${EXTRA_CXXFLAGS}" -j2
154
+ - make -C unit test
161
155
162
156
before_cache :
163
157
- ccache -s
You can’t perform that action at this time.
0 commit comments