File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed
Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -104,7 +104,7 @@ jobs:
104104 - name : Run HCFILES
105105 run : |
106106 export DISPLAY=":0"
107- timeout 12m sh -c 'while true; do top -b -n 1 -H | grep -i threads; sleep 5; done' &
107+ timeout 12m sh -c 'while true; do top -b -n 1 -H | grep -i threads; done' &
108108 scripts/do_hcfiles.sh
109109
110110 - name : Push Medley files (including created pdf files) to files.interlisp.org
Original file line number Diff line number Diff line change @@ -56,7 +56,7 @@ main() {
5656 --apps
5757
5858 # save dribble file to loadups; extract and save fails
59- # cat ${logindir}/HCFILES.DRIBBLE
59+ cat ${logindir} /HCFILES.DRIBBLE
6060 " ${MEDLEYDIR} " /scripts/cpv ${logindir} /HCFILES.DRIBBLE " ${MEDLEYDIR} " /loadups/hcfiles.dribble
6161 grep " IL:FAIL" < " ${MEDLEYDIR} " /loadups/hcfiles.dribble > ${logindir} /fails
6262 " ${MEDLEYDIR} " /scripts/cpv ${logindir} /fails " ${MEDLEYDIR} " /loadups/hcfiles-fails.txt
You can’t perform that action at this time.
0 commit comments