File tree Expand file tree Collapse file tree 3 files changed +0
-43
lines changed
Expand file tree Collapse file tree 3 files changed +0
-43
lines changed Original file line number Diff line number Diff line change @@ -2,14 +2,9 @@ sudo: false
22env :
33 - JIT_OPTS='--opt=jit' TARGET_OPTS='target.py'
44 - JIT_OPTS='' TARGET_OPTS='target.py'
5- # - JIT_OPTS='--opt=jit' TARGET_OPTS='target_preload.py'
6- # - JIT_OPTS='' TARGET_OPTS='target_preload.py'
75
86matrix :
97 fast_finish : true
10- allow_failures :
11- - env : JIT_OPTS='--opt=jit' TARGET_OPTS='target_preload.py'
12- - env : JIT_OPTS='' TARGET_OPTS='target_preload.py'
138
149script :
1510 - make PYTHON=python build
Original file line number Diff line number Diff line change @@ -38,12 +38,6 @@ compile_basics:
3838 @echo -e " \n\n\n\nWARNING: Compiling core libs. If you want to modify one of these files delete the .pxic files first\n\n\n\n"
3939 ./pixie-vm -c pixie/uv.pxi -c pixie/io.pxi -c pixie/stacklets.pxi -c pixie/stdlib.pxi -c pixie/repl.pxi
4040
41- build_preload_with_jit : fetch_externals
42- $(PYTHON ) $(EXTERNALS ) /pypy/rpython/bin/rpython $(COMMON_BUILD_OPTS ) --opt=jit target_preload.py 2>&1 > /dev/null | grep -v ' WARNING'
43-
44- build_preload_no_jit : fetch_externals
45- $(PYTHON ) $(EXTERNALS ) /pypy/rpython/bin/rpython $(COMMON_BUILD_OPTS ) target_preload.py
46-
4741build : fetch_externals
4842 $(PYTHON ) $(EXTERNALS ) /pypy/rpython/bin/rpython $(COMMON_BUILD_OPTS ) $(JIT_OPTS ) $(TARGET_OPTS )
4943
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments