build errors during docs build don't fail build
- Debian
- Tracker 3.7.beta
What happens
Tracker has serious looking errors during the build but the build completes successfully.
What I expected
The errors are fixed.
If these errors happen, the build fails.
Build log excerpt
/<<PKGBUILDDIR>>/docs/reference/libtracker-sparql/install-devhelp.sh: 7:
/<<PKGBUILDDIR>>/docs/reference/libtracker-sparql/generate-devhelp.sh: pushd: not found
cat: Tracker-3.0/Tracker-3.0.devhelp2: No such file or directory
mv: cannot move 'fixed.devhelp2' to 'Tracker-3.0/Tracker-3.0.devhelp2': No such file or directory
Traceback (most recent call last):
File "/<<PKGBUILDDIR>>/docs/reference/libtracker-sparql/merge-json.py", line 4, in <module>
index = json.load(open(sys.argv[1]))
^^^^^^^^^^^^^^^^^
FileNotFoundError: [Errno 2] No such file or directory: 'Tracker-3.0/index.json'
/<<PKGBUILDDIR>>/docs/reference/libtracker-sparql/install-devhelp.sh: 23:
/<<PKGBUILDDIR>>/docs/reference/libtracker-sparql/generate-devhelp.sh: popd: not found
Full build log
Click Installed for amd64 at https://buildd.debian.org/status/package.php?p=tracker&suite=experimental
Other Info
cc @rvl This relates to your suggestion that we don't need to use pushd or popd, right?
Edited by Jeremy Bicha