Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit 79fae204c2 - Show all commits

View File

@@ -152,7 +152,7 @@ let
# Optionally profile the next stages with perf
++ optional enablePerf perf
# Execute the nbody app with the argv and env vars
# Execute the saiph example app
++ [ saiphFn ];
# List of actual programs to be executed