Make Makefile.shared quiet again.
This commit is contained in:
parent
f210eb7b89
commit
c4cd925cc0
@ -67,8 +67,8 @@ LIBDEPS=
|
|||||||
#------------------------------------------------------------------------------
|
#------------------------------------------------------------------------------
|
||||||
# The rest is private to this makefile.
|
# The rest is private to this makefile.
|
||||||
|
|
||||||
#SET_X=:
|
SET_X=:
|
||||||
SET_X=set -x
|
#SET_X=set -x
|
||||||
|
|
||||||
top:
|
top:
|
||||||
echo "Trying to use this makefile interactively? Don't."
|
echo "Trying to use this makefile interactively? Don't."
|
||||||
|
Loading…
x
Reference in New Issue
Block a user