From bb8a759792248d4928752baa85469499ee2362b2 Mon Sep 17 00:00:00 2001 From: Jon Leech Date: Mon, 1 Jul 2024 02:00:49 -0700 Subject: [PATCH] See if errors make more sense when -O added to -j make option --- .github/workflows/presubmit.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/presubmit.yml b/.github/workflows/presubmit.yml index 944015836..36588e0f7 100644 --- a/.github/workflows/presubmit.yml +++ b/.github/workflows/presubmit.yml @@ -50,15 +50,16 @@ jobs: - name: Generate core specs (HTML and PDF) run: | - python3 makeSpec -clean -spec core OUTDIR=out.core -j 5 api c env ext cxx4opencl + # python3 makeSpec -clean -spec core OUTDIR=out.core -j 5 -O api c env ext cxx4opencl + python3 makeSpec -clean -spec core OUTDIR=out.core -j 5 -O apihtml chtml envhtml exthtml cxx4openclhtml - name: Generate core + extension specs (HTML) run: | - python3 makeSpec -clean -spec khr OUTDIR=out.khr -j 12 html + python3 makeSpec -clean -spec khr OUTDIR=out.khr -j -O html - name: Generate reference pages run: | - python3 makeSpec -spec khr OUTDIR=out.refpages -j 12 manhtmlpages + python3 makeSpec -spec khr OUTDIR=out.refpages -j 12 -O manhtmlpages - name: Validate XML run: |