diff options
| author | John Marino <marino@FreeBSD.org> | 2016-07-22 02:15:38 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2016-07-22 02:15:38 +0000 |
| commit | e08d32114983f36989f45ea5d514ac172294a526 (patch) | |
| tree | af76712ea0be112527cd63f4829f285f1e09ff34 /ports-mgmt | |
| parent | 546b41f190ff9c41f0042acae21674b70b5e1238 (diff) | |
Notes
Diffstat (limited to 'ports-mgmt')
| -rw-r--r-- | ports-mgmt/synth/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ports-mgmt/synth/Makefile b/ports-mgmt/synth/Makefile index ee57d334d328..36c260920d2c 100644 --- a/ports-mgmt/synth/Makefile +++ b/ports-mgmt/synth/Makefile @@ -25,7 +25,6 @@ MAKE_ENV= NCURSES_LINK=static post-extract: @${REINPLACE_CMD} -e "s|/usr/local|${LOCALBASE}|" \ - ${WRKSRC}/default.gpr \ ${WRKSRC}/src/definitions.ads do-build: |