Mario Fetka
|
291be1735f
|
no need for generation
|
2024-05-27 22:06:43 +02:00 |
|
Mario Fetka
|
55a051c9ed
|
DESTDIR is the correct name
|
2024-05-27 21:24:26 +02:00 |
|
Mario Fetka
|
211e8efbc2
|
add DESTDIR install to prospero
|
2024-05-27 20:18:02 +02:00 |
|
Mario Fetka
|
3e2f2176cd
|
correct berkdb path
|
2024-05-27 19:30:25 +02:00 |
|
Mario Fetka
|
0c8ae429bb
|
build in SYSTYPE
|
2024-05-27 19:17:42 +02:00 |
|
Mario Fetka
|
d3589cd843
|
use same build path way also for prospero
|
2024-05-27 17:24:46 +02:00 |
|
Mario Fetka
|
d71d446104
|
Intial commit
|
2024-05-27 16:13:40 +02:00 |
|