diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index fccca35..d8d8e9e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -166,9 +166,9 @@ jobs: mv build.sh.tmp build.sh chmod a+x build.sh # cat build.sh - cp execcmd.c execcmd.c.bak - awk '/#include "execcmd.h"/{print; print "#include \"output.h\""; next }1' execcmd.c > execcmd.c.tmp - mv execcmd.c.tmp execcmd.c + # cp execcmd.c execcmd.c.bak + # awk '/#include "execcmd.h"/{print; print "#include \"output.h\""; next }1' execcmd.c > execcmd.c.tmp + # mv execcmd.c.tmp execcmd.c # cat execcmd.c cp make.c make.c.bak awk '/#include "make.h"/{print; print "#include \"output.h\""; next }1' make.c > make.c.tmp