mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 21:57:55 +00:00
seoul: Patch executor/build_instructions.py
We need to specify the actual python version in the build_instructios.py script too.
This commit is contained in:
parent
ae291b557d
commit
98cb023f1c
@ -41,7 +41,7 @@ EXECUTOR_DIR = $(CONTRIB_DIR)/$(SEOUL)/executor
|
||||
$(CONTRIB_DIR)/$(SEOUL)/.git: $(DOWNLOAD_DIR)/$(SEOUL)/.git
|
||||
$(VERBOSE)git clone $(DOWNLOAD_DIR)/$(SEOUL) $(CONTRIB_DIR)/$(SEOUL)
|
||||
@# fix python version in code generator scripts
|
||||
$(VERBOSE)sed -i "s/env python2/env $(PYTHON2)/" $(I82576VF_DIR)/genreg.py
|
||||
$(VERBOSE)sed -i "s/env python2/env $(PYTHON2)/" $(I82576VF_DIR)/genreg.py $(EXECUTOR_DIR)/build_instructions.py
|
||||
@# call code generators
|
||||
$(VERBOSE)cd $(EXECUTOR_DIR); \
|
||||
./build_instructions.py > instructions.inc
|
||||
|
Loading…
Reference in New Issue
Block a user