diff options
Diffstat (limited to 'devel/tla/Makefile')
| -rw-r--r-- | devel/tla/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/devel/tla/Makefile b/devel/tla/Makefile index 1fd2d046787..287d5da10b9 100644 --- a/devel/tla/Makefile +++ b/devel/tla/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.29 2006/10/13 06:52:11 rillig Exp $ +# $NetBSD: Makefile,v 1.30 2006/12/20 15:30:52 joerg Exp $ # DISTNAME= tla-1.3.5 @@ -17,6 +17,12 @@ DEPENDS+= gtar-base-[0-9]*:../../archivers/gtar-base PKG_INSTALLATION_TYPES= overwrite pkgviews +CHECK_PORTABILITY_SKIP+= \ + src/tla/tests/changeset-tests/chmod_random \ + src/tla/tests/changeset-tests/run-spaces-test.sh \ + src/tla/tests/changeset-tests/run-test.sh + + REPLACE_BASH+= src/tla/tests/changeset-tests/chmod_random USE_TOOLS+= bash |