Lines Matching refs:MAKE
11 # Parallel Make. Change $MAKE if you don't have gmake installed
12 MAKE="gnumake"
84 ${MAKE} clean || die "Unable to make clean"
85 ${SCAN_BUILD} ${MAKE} ${MAKE_OPTS} || die "Could not make xserver"
86 #${MAKE} distcheck ${MAKE_OPTS} DESTDIR=/tmp/distcheck || die "distcheck failed"
91 ${MAKE} install DESTDIR="$(pwd)/../dist" || die "Could not install xserver"
101 ${MAKE} dist
Indexes created Tue Oct 20 00:27:02 UTC 2026