Skip to content

Commit

Permalink
gen-manpages: Prompt error if no binaries are found
Browse files Browse the repository at this point in the history
  • Loading branch information
andremralves committed Nov 27, 2024
1 parent 299e222 commit ee61853
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions contrib/devtools/gen-manpages.py
Original file line number Diff line number Diff line change
Expand Up @@ -68,6 +68,10 @@

versions.append((abspath, verstr, copyright))

if not versions:
print(f'No binaries found in {builddir}. Please ensure the binaries are present in {builddir}, or set another build path using the BUILDDIR env variable.')
sys.exit(1)

if any(verstr.endswith('-dirty') for (_, verstr, _) in versions):
print("WARNING: Binaries were built from a dirty tree.")
print('man pages generated from dirty binaries should NOT be committed.')
Expand Down

0 comments on commit ee61853

Please sign in to comment.