Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix heisenbug of windows pipelines not working #554

Merged
merged 14 commits into from
Jan 5, 2024
Merged

Fix heisenbug of windows pipelines not working #554

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
5a53ea4
add case for DISTR=win
marcvs Dec 20, 2023
b7a0d16
Add a find
marcvs Dec 20, 2023
dd40a30
retrigger ci
marcvs Dec 20, 2023
030a68c
Add debug output
marcvs Dec 20, 2023
c7e0188
remove debug
marcvs Dec 21, 2023
7eac5d3
try with less debug
marcvs Dec 21, 2023
aaaa0af
Add sleep 0.2
marcvs Dec 21, 2023
535026a
Add debug with lots of ls
marcvs Dec 21, 2023
2018977
Replace ls with longer sleep (1.2s)
marcvs Dec 21, 2023
d266c7e
Make heisenbugworkaround windows-conditional
marcvs Dec 21, 2023
cda36b9
Fix missing backslash
marcvs Dec 21, 2023
f4e5283
Should work now
marcvs Dec 21, 2023
24e8464
More delay and more silent output
marcvs Dec 21, 2023
800d5ad
remove debug code
marcvs Dec 21, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions .gitlab-ci-scripts/local-before-script.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -62,6 +62,8 @@ case ${DISTRO} in
buster) make buster-debsource ;;
esac
;;
win) # Do nothing for windows
;;
*) # We expect only RPM by default
[ -d rpm ] || {
echo "using freshly cloned and adapted rpm folder"
Expand Down
7 changes: 7 additions & 0 deletions Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -438,6 +438,13 @@ $(OBJDIR)/%.o : $(SRCDIR)/%.c
set -e ;\
depFileName=$(OBJDIR)/$*.d ;\
$(CC) -MM $(CFLAGS) $< -o $${depFileName} $(DEFINE_USE_CJSON_SO) $(DEFINE_USE_LIST_SO) $(DEFINE_USE_MUSTACHE_SO) ;\
TEST="${MINGW}${MSYS}";\
[ -z ${TEST} ] || {\
ls -la obj/oidc-agent > /dev/null ;\
ls -la `dirname $${depFileName}` > /dev/null;\
echo "mv -f $${depFileName} $${depFileName}.tmp" ;\
sleep 2.5;\
};\
mv -f $${depFileName} $${depFileName}.tmp ;\
sed -e 's|.*:|$@:|' < $${depFileName}.tmp > $${depFileName} ;\
cp -f $${depFileName} $${depFileName}.tmp ;\
Expand Down
Loading