ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

seoul: produce hash stable port 

Remove line printing the user name and the date in generated source code.

Fixes #3004
This commit is contained in:
Alexander Boettcher 2018-10-01 20:44:31 +02:00 committed by Christian Helmuth
parent cf7e23f0d6
commit 5473a36f81
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/ports/ports/seoul.hash
View File

@ -1 +1 @@
49c315a92108ed1c7e0f356b2e6c72ad6a9422bb
a417db30615df66f54ab57511bc4fab0ef2b79cf

1
repos/ports/ports/seoul.port
View File

@ -26,6 +26,7 @@ default : additional_steps
additional_steps : $(DOWNLOADS)
@echo "fix python version in code generator scripts ..." && \
sed -i "s/env python2/env $(PYTHON2)/" $(I82576VF_DIR)/genreg.py $(EXECUTOR_DIR)/build_instructions.py && \
sed -i "/Generated on/d" $(I82576VF_DIR)/genreg.py && \
echo "call code generators ... takes a while ..." && \
cd $(EXECUTOR_DIR) && \
./build_instructions.py > instructions.inc && \