diff options
| author | Brooks Davis <brooks@FreeBSD.org> | 2018-03-02 22:34:53 +0000 |
|---|---|---|
| committer | Brooks Davis <brooks@FreeBSD.org> | 2018-03-02 22:34:53 +0000 |
| commit | 16a06ea40221c2bb23799b052867383d27bdff4e (patch) | |
| tree | 74598255802a1be780cec8e6fed3805dd3777ae6 /benchmarks | |
| parent | 327f701df5048adf449318a745a10fc6ce80ca9a (diff) | |
Notes
Diffstat (limited to 'benchmarks')
| -rw-r--r-- | benchmarks/super-smack/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/benchmarks/super-smack/Makefile b/benchmarks/super-smack/Makefile index 3b006ea560a1..affe6cd681a6 100644 --- a/benchmarks/super-smack/Makefile +++ b/benchmarks/super-smack/Makefile @@ -15,6 +15,7 @@ LICENSE= GPLv2+ GNU_CONFIGURE= yes CONFIGURE_ARGS= --with-smacks-dir=${DATADIR} MAKE_JOBS_UNSAFE= yes +CPPFLAGS+= -D_WANT_SEMUN PORTDOCS= CHANGES README MANUAL TUTORIAL |