small fix for helper #698

Merged
gaisser merged 3 commits from mueller/small-helper-script-fix into development 2022-10-10 14:44:00 +02:00
Owner

previous code worked for make, did not work for ninja

previous code worked for make, did not work for ninja
muellerr added 1 commit 2022-10-04 10:56:10 +02:00
fsfw/fsfw/pipeline/head Build started... Details
fsfw/fsfw/pipeline/pr-development This commit looks good Details
448d20f3bd
small fix for helper
muellerr added a new dependency 2022-10-04 10:56:51 +02:00
muellerr added 1 commit 2022-10-04 11:02:07 +02:00
fsfw/fsfw/pipeline/pr-development This commit looks good Details
c283e0c988
okay this is correct
muellerr added this to the v6.0.0 milestone 2022-10-04 13:25:14 +02:00
gaisser added 1 commit 2022-10-10 14:25:52 +02:00
fsfw/fsfw/pipeline/pr-development This commit looks good Details
3e9acf476e
Merge branch 'development' into mueller/small-helper-script-fix
gaisser approved these changes 2022-10-10 14:43:54 +02:00
gaisser left a comment
Owner

LGTM

LGTM
gaisser merged commit 32c12b3dbf into development 2022-10-10 14:44:00 +02:00
gaisser deleted branch mueller/small-helper-script-fix 2022-10-10 14:44:02 +02:00
Sign in to join this conversation.
No description provided.