diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-20 19:53:09 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-20 19:53:09 +0000 |
| commit | 888ab73a81ce0010b6a141740f5b26e92a5ec6a8 (patch) | |
| tree | 1373440d0f3681e50dd86fe77aff964fd6e1aeb8 /lang/maude | |
| parent | e280255b603b3a9113f771a6eb4215c94cb1fb1a (diff) | |
| download | ports-888ab73a81ce0010b6a141740f5b26e92a5ec6a8.tar.gz ports-888ab73a81ce0010b6a141740f5b26e92a5ec6a8.zip | |
Notes
Diffstat (limited to 'lang/maude')
| -rw-r--r-- | lang/maude/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile index 966673cc5116..6c5902791866 100644 --- a/lang/maude/Makefile +++ b/lang/maude/Makefile @@ -29,6 +29,7 @@ OPTIONS_DEFINE= FULL_MAUDE OPTIONS_DEFAULT= FULL_MAUDE FULL_MAUDE_DESC= Install full-maude${FULL_MAUDE_VER} +NO_STAGE= yes .include <bsd.port.options.mk> .if ${PORT_OPTIONS:MFULL_MAUDE} |