Loading Makefile.shared +2 −2 Original line number Diff line number Diff line Loading @@ -66,8 +66,8 @@ LIBDEPS= #------------------------------------------------------------------------------ # The rest is private to this makefile. #SET_X=: SET_X=set -x SET_X=: #SET_X=set -x top: echo "Trying to use this makefile interactively? Don't." Loading Loading
Makefile.shared +2 −2 Original line number Diff line number Diff line Loading @@ -66,8 +66,8 @@ LIBDEPS= #------------------------------------------------------------------------------ # The rest is private to this makefile. #SET_X=: SET_X=set -x SET_X=: #SET_X=set -x top: echo "Trying to use this makefile interactively? Don't." Loading