| commit | a0b1178f569275912d7cf7c9af6eb4c03d14995a | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Tue Jan 23 16:16:48 2024 +0100 |
| committer | Nico Huber <nico.huber@secunet.com> | Tue Jan 23 16:16:48 2024 +0100 |
| tree | 0fc88d818e2216cb8abec4e267db64c99ff4441e | |
| parent | 936a9d81027d4788105f2b0161d8d72118fb7435 [diff] |
gprbuild: Move output to build/
diff --git a/default.gpr b/default.gpr index 96aed41..3d0a261 100644 --- a/default.gpr +++ b/default.gpr
@@ -2,6 +2,7 @@ for Languages use ("ada", "c"); for Main use ("main.c"); for Source_Dirs use ("src"); + for Object_Dir use "build"; package Builder is for Global_Configuration_Pragmas use "default.adc";