ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-08 11:55:24 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Arora: fix port check

Browse Source 
Fixes #2321
This commit is contained in:
Christian Prochaska 2017-03-13 14:30:15 +01:00 committed by Christian Helmuth
parent 79fc33aca8
commit 01e9bec5b0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/ports/src/app/arora/arora.pro
View File

@ -1 +1 @@
include $(call select_from_ports,arora)/src/app/arora/src/src.pro
-include $(call select_from_ports,arora)/src/app/arora/src/src.pro