diff options
Diffstat (limited to 'userland.gpr')
-rw-r--r-- | userland.gpr | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/userland.gpr b/userland.gpr new file mode 100644 index 0000000..b26a28a --- /dev/null +++ b/userland.gpr @@ -0,0 +1,11 @@ +aggregate project Userland is + + for Create_Missing_Dirs use "true"; + for External ("BUILDROOT") use Userland'Project_Dir & "/build"; + for Project_Files use ("bin/**/*.gpr", "usr.bin/**/*.gpr"); + + package Builder is + for Switches (others) use ("-j" & External ("JOBS", "0"), "-s"); + end Builder; + +end Userland; |