mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 20:42:30 +01:00
don't fail if dbug manual cannot be built
This commit is contained in:
parent
ed2674d0a7
commit
a102fd5a2e
1 changed files with 2 additions and 2 deletions
|
@ -36,10 +36,10 @@ dbug_analyze_SOURCES = dbug_analyze.c
|
||||||
all: user.t user.ps
|
all: user.t user.ps
|
||||||
|
|
||||||
user.t: user.r $(NROFF_INC)
|
user.t: user.r $(NROFF_INC)
|
||||||
nroff -mm user.r > $@
|
-nroff -mm user.r > $@
|
||||||
|
|
||||||
user.ps: user.r $(NROFF_INC)
|
user.ps: user.r $(NROFF_INC)
|
||||||
groff -mm user.r > $@
|
-groff -mm user.r > $@
|
||||||
|
|
||||||
output1.r: factorial
|
output1.r: factorial
|
||||||
./factorial 1 2 3 4 5 | cat > $@
|
./factorial 1 2 3 4 5 | cat > $@
|
||||||
|
|
Loading…
Reference in a new issue