Skip to content

Commit d4a55dd

Browse files
committed
Revert "Use -DMMTK_WB_ASSERT_VO in CI"
This reverts commit 4d85076.
1 parent 4d85076 commit d4a55dd

File tree

1 file changed

+3
-13
lines changed

1 file changed

+3
-13
lines changed

.github/scripts/ci-build.sh

+3-13
Original file line numberDiff line numberDiff line change
@@ -31,27 +31,17 @@ pushd $RUBY_PATH
3131

3232
case $DEBUG_LEVEL in
3333
debug)
34-
../configure \
35-
--with-mmtk-ruby=$BINDING_PATH \
36-
--with-mmtk-ruby-debug \
37-
--prefix=$RUBY_INSTALL_PATH \
38-
--disable-install-doc \
39-
cppflags='-g3 -O0 -DRUBY_DEBUG=1 -DRUBY_DEVEL -DUSE_RUBY_DEBUG_LOG=1 -DMMTK_WB_ASSERT_VO'
34+
../configure --with-mmtk-ruby=$BINDING_PATH --with-mmtk-ruby-debug --prefix=$RUBY_INSTALL_PATH --disable-install-doc cppflags='-g3 -O0 -DRUBY_DEBUG=1 -DRUBY_DEVEL -DUSE_RUBY_DEBUG_LOG=1'
4035
make miniruby -j $CI_JOBS
4136
;;
4237

4338
release)
44-
../configure \
45-
--with-mmtk-ruby=$BINDING_PATH \
46-
--prefix=$RUBY_INSTALL_PATH \
47-
--disable-install-doc cppflags='-g3 -DMMTK_WB_ASSERT_VO'
39+
../configure --with-mmtk-ruby=$BINDING_PATH --prefix=$RUBY_INSTALL_PATH --disable-install-doc cppflags='-g3'
4840
make install -j $CI_JOBS
4941
;;
5042

5143
vanilla)
52-
../configure \
53-
--prefix=$RUBY_INSTALL_PATH \
54-
--disable-install-doc cppflags='-g3'
44+
../configure --prefix=$RUBY_INSTALL_PATH --disable-install-doc cppflags='-g3'
5545
make install -j $CI_JOBS
5646
;;
5747
*)

0 commit comments

Comments
 (0)