Merge pull request 'promote: dev → stage' (#33) from dev into stage

2026-05-10 01:07:20 +00:00
parent d5dcb08ec6 aa040d1412
commit aabaa2ffb0
1 changed files with 1 additions and 0 deletions
@@ -122,6 +122,7 @@ jobs:
          # Compile el_runtime.o and soul-demo on the host runner
          cc -O2 -DHAVE_CURL -c runtime/el_runtime.c -I runtime/ -o /tmp/el_runtime.o
          cc -O2 -rdynamic -DEL_SOUL_DEMO_BUILD \
+             -I runtime/ \
             -o dist/soul-demo \
             dist/soul-demo.c dist/vessel_stubs.c /tmp/el_runtime.o \
             -lcurl -lpthread -ldl -lm -lssl -lcrypto