From owner-svn-ports-head@FreeBSD.ORG  Tue Jun 24 22:48:03 2014
Return-Path: <owner-svn-ports-head@FreeBSD.ORG>
Delivered-To: svn-ports-head@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTPS id B7BA1A39;
 Tue, 24 Jun 2014 22:48:03 +0000 (UTC)
Received: from svn.freebsd.org (svn.freebsd.org
 [IPv6:2001:1900:2254:2068::e6a:0])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (Client did not present a certificate)
 by mx1.freebsd.org (Postfix) with ESMTPS id A52F6285D;
 Tue, 24 Jun 2014 22:48:03 +0000 (UTC)
Received: from svn.freebsd.org ([127.0.1.70])
 by svn.freebsd.org (8.14.8/8.14.8) with ESMTP id s5OMm3mX098076;
 Tue, 24 Jun 2014 22:48:03 GMT (envelope-from bapt@svn.freebsd.org)
Received: (from bapt@localhost)
 by svn.freebsd.org (8.14.8/8.14.8/Submit) id s5OMm3V1098074;
 Tue, 24 Jun 2014 22:48:03 GMT (envelope-from bapt@svn.freebsd.org)
Message-Id: <201406242248.s5OMm3V1098074@svn.freebsd.org>
From: Baptiste Daroussin <bapt@FreeBSD.org>
Date: Tue, 24 Jun 2014 22:48:03 +0000 (UTC)
To: ports-committers@freebsd.org, svn-ports-all@freebsd.org,
 svn-ports-head@freebsd.org
Subject: svn commit: r359165 - head/devel/frama-c
X-SVN-Group: ports-head
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-BeenThere: svn-ports-head@freebsd.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: SVN commit messages for the ports tree for head
 <svn-ports-head.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-head/>
List-Post: <mailto:svn-ports-head@freebsd.org>
List-Help: <mailto:svn-ports-head-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 24 Jun 2014 22:48:03 -0000

Author: bapt
Date: Tue Jun 24 22:48:03 2014
New Revision: 359165
URL: http://svnweb.freebsd.org/changeset/ports/359165
QAT: https://qat.redports.org/buildarchive/r359165/

Log:
  Use MAKE_CMD

Modified:
  head/devel/frama-c/Makefile

Modified: head/devel/frama-c/Makefile
==============================================================================
--- head/devel/frama-c/Makefile	Tue Jun 24 22:47:30 2014	(r359164)
+++ head/devel/frama-c/Makefile	Tue Jun 24 22:48:03 2014	(r359165)
@@ -76,7 +76,7 @@ CONFIGURE_ARGS+=	--with-no-plugin
 post-patch:
 	@cd ${WRKSRC}/tests; ${MKDIR} aorai report wp wp_acsl wp_bts \
 	wp_engine wp_hoare wp_plugin wp_runtime wp_store wp_typed
-	@${REINPLACE_CMD} -e 's|@make |@${GMAKE} |' \
+	@${REINPLACE_CMD} -e 's|@make |@${MAKE_CMD} |' \
 			${WRKSRC}/src/aorai/Makefile.in
 	@${REINPLACE_CMD} \
 		-e 's|$$(CP)|${INSTALL_DATA}|' \
@@ -122,6 +122,6 @@ post-install:
 check regression-test test: build
 	@cd ${WRKSRC}; ${SETENV} ${MAKE_ENV:NCPP=*} \
 	CPP="${CPP} -C -I${WRKSRC}/share/libc -I." \
-	${GMAKE} ${MAKE_ARGS} oracles fulltests
+	${MAKE_CMD} ${MAKE_ARGS} oracles fulltests
 
 .include <bsd.port.mk>