diff options
Diffstat (limited to 'userland.gpr')
| -rw-r--r-- | userland.gpr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/userland.gpr b/userland.gpr index b26a28a..99ad994 100644 --- a/userland.gpr +++ b/userland.gpr @@ -1,6 +1,7 @@ aggregate project Userland is for Create_Missing_Dirs use "true"; + for External ("PROJ_INCLUDE") use Userland'Project_Dir & "/include"; for External ("BUILDROOT") use Userland'Project_Dir & "/build"; for Project_Files use ("bin/**/*.gpr", "usr.bin/**/*.gpr"); |