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
small fix for helper
Some checks are pending
fsfw/fsfw/pipeline/head Build started...
fsfw/fsfw/pipeline/pr-development This commit looks good
448d20f3bd
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
okay this is correct
All checks were successful
fsfw/fsfw/pipeline/pr-development This commit looks good
c283e0c988
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
Merge branch 'development' into mueller/small-helper-script-fix
All checks were successful
fsfw/fsfw/pipeline/pr-development This commit looks good
3e9acf476e
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.