portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

remove generated adglobs type

Browse source 
It's become obsolete after correspongin Isabelle C parser change.
This commit is contained in:
Gerwin Klein 2015-05-09 06:46:31 +10:00
parent 69f37863aa
commit 1a568e764a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -539,7 +539,7 @@ PRUNES = $(foreach file,${STATICSOURCES} ${STATICHEADERS}, \
--prune ${file} )
TOPLEVELTYPES=cte_C tcb_C endpoint_C async_endpoint_C asid_pool_C pte_C \
pde_C adglobs_struct user_data_C
pde_C user_data_C
TOPTYPES = $(foreach tp,${TOPLEVELTYPES}, \
--toplevel ${tp} )