TOOL_TIC: Set to "/usr/bin/tic", instead of "tic"

There is a tic command which comes with a package. When this package is
installed, this prevent "make build" from completing, as the packaged
tic as incompatible arguments.

Change-Id: Ic75057013b92158d715c5533f01d79f65317a400
This commit is contained in:
Lionel Sambuc 2014-08-08 18:14:06 +02:00
parent 8edaaa301c
commit 85140f57cd

View file

@ -652,7 +652,13 @@ TOOL_STAT= stat
TOOL_STRFILE= strfile
TOOL_SUNLABEL= sunlabel
TOOL_TBL= tbl
.if defined(__MINIX)
# LSC: There is a tic packaged, which has a completly different set of
# options, so make sure to use the base system one, always.
TOOL_TIC= /usr/bin/tic
.else
TOOL_TIC= tic
.endif # defined(__MINIX)
TOOL_TOPROTO= toproto
TOOL_UUDECODE= uudecode
TOOL_VGRIND= vgrind -f