denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Temporarily disable hash checks

Browse Source 
...until the transition to the new ports management is complete.
This commit is contained in:
Norman Feske
2014-05-17 13:59:59 +02:00
parent aff92004d1
commit 05a460c11f
4 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-nova/Makefile
View File

@@ -14,7 +14,7 @@ ECHO := @echo
help::
prepare:
$(VERBOSE)../../tool/ports/prepare_port nova
$(VERBOSE)../../tool/ports/prepare_port nova CHECK_HASH=no
help::
$(ECHO)

2
repos/base-okl4/Makefile
View File

@@ -18,6 +18,6 @@ help:
$(ECHO)
prepare:
$(VERBOSE)../../tool/ports/prepare_port okl4
$(VERBOSE)../../tool/ports/prepare_port okl4 CHECK_HASH=no
clean cleanall:

2
repos/dde_oss/Makefile
View File

@@ -19,4 +19,4 @@ help:
$(ECHO)
prepare:
$(VERBOSE)../../tool/ports/prepare_port oss
$(VERBOSE)../../tool/ports/prepare_port oss CHECK_HASH=no