equal
deleted
inserted
replaced
30 set_source_files_properties(./include/kernel/exec_kernel.h PROPERTIES GENERATED 1) |
30 set_source_files_properties(./include/kernel/exec_kernel.h PROPERTIES GENERATED 1) |
31 |
31 |
32 #Custom target that will generate our exec headers |
32 #Custom target that will generate our exec headers |
33 add_custom_target(genexec DEPENDS ./include/exec_enum.h ./include/exec_user.h ./include/kernel/exec_kernel.h) |
33 add_custom_target(genexec DEPENDS ./include/exec_enum.h ./include/exec_user.h ./include/kernel/exec_kernel.h) |
34 |
34 |
35 add_subdirectory(./euser ./euser/bin) |
35 add_subdirectory(./euser) |
36 add_subdirectory(./kernel ./kernel/bin) |
36 add_subdirectory(./kernel) |
37 |
37 |
38 |
38 |