diff options
| author | jgh <jgh@FreeBSD.org> | 2011-12-31 01:26:25 +0800 |
|---|---|---|
| committer | jgh <jgh@FreeBSD.org> | 2011-12-31 01:26:25 +0800 |
| commit | 6c0d02be5ce65af447a4366dd89475156b33f908 (patch) | |
| tree | 76fbc9142c7b75c2c8103fb3838a51cc153fc0a9 | |
| parent | 309c748c80f0bf64ec122293883e8afc33547d35 (diff) | |
| download | freebsd-ports-gnome-6c0d02be5ce65af447a4366dd89475156b33f908.tar.gz freebsd-ports-gnome-6c0d02be5ce65af447a4366dd89475156b33f908.tar.zst freebsd-ports-gnome-6c0d02be5ce65af447a4366dd89475156b33f908.zip | |
- Reassignment of ECHO_MSG breaks 'make readme', so remove and reformat IGNORE.
- Pet portlint
PR: ports/163252
Submitted by: jgh (me)
Approved by: maintainer (timeout), crees (mentor)
| -rw-r--r-- | devel/uppaal/Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/devel/uppaal/Makefile b/devel/uppaal/Makefile index 46520fa0ca91..c91b13fed77e 100644 --- a/devel/uppaal/Makefile +++ b/devel/uppaal/Makefile @@ -8,6 +8,7 @@ PORTNAME= uppaal PORTVERSION= 4.0.10 CATEGORIES= devel java linux +MASTER_SITES= # empty DISTNAME= uppaal-${PORTVERSION}-aca MAINTAINER= ports@FreeBSD.org @@ -33,12 +34,12 @@ RESTRICTED= Downloading requires completion of a license agreement .include <bsd.port.pre.mk> -LINUX_OSRELEASE!= ${ECHO_CMD} `${SYSCTL} -n compat.linux.osrelease 2>/dev/null` +LINUX_SYSCTL= ${ECHO_CMD} `${SYSCTL} -n compat.linux.osrelease 2>/dev/null` +LINUX_OSRELEASE= ${LINUX_SYSCTL} .if !exists(${DISTDIR}/${DISTNAME}${EXTRACT_SUFX}) && !defined(PACKAGE_BUILDING) -ECHO_MSG=/usr/bin/printf -IGNORE=Please download ${DISTNAME}${EXTRACT_SUFX} into\ -${DISTDIR}/${DIST_SUBDIR} from:\n\t${DOWNLOAD_URL}\n +IGNORE= please download ${DISTNAME}${EXTRACT_SUFX} into\ +${DISTDIR}/${DIST_SUBDIR} from ${DOWNLOAD_URL} and re-run make .endif post-patch: |