mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-14 00:06:40 +00:00
parent
6c1e269ed2
commit
cefcd1fffa
@ -5,7 +5,7 @@
|
||||
# \date 2013-11-07
|
||||
#
|
||||
|
||||
assert_spec linux
|
||||
assert {[have_spec linux]}
|
||||
|
||||
#
|
||||
# Build
|
||||
|
@ -4,7 +4,7 @@
|
||||
# \date 2019-12-05
|
||||
#
|
||||
|
||||
assert_spec linux
|
||||
assert {[have_spec linux]}
|
||||
|
||||
#
|
||||
# Build
|
||||
|
@ -4,7 +4,7 @@
|
||||
# \date 2013-09-06
|
||||
#
|
||||
|
||||
assert_spec linux
|
||||
assert {[have_spec linux]}
|
||||
|
||||
build [list core init lib/ld [test_build_target]]
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user