mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-24 00:45:52 +00:00
Revert to java watch service instead of custom polling, now that the
openjdk8 port has a kqueue backend.
This commit is contained in:
parent
47f567297a
commit
387f3c417c
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=488527
@ -3,7 +3,7 @@
|
||||
|
||||
PORTNAME= sbt
|
||||
PORTVERSION= 1.2.7
|
||||
PORTREVISION= 1
|
||||
PORTREVISION= 2
|
||||
CATEGORIES= devel java
|
||||
MASTER_SITES= https://github.com/sbt/sbt/releases/download/v${PORTVERSION}/
|
||||
|
||||
|
@ -1,7 +1,3 @@
|
||||
# Use sbt's internal PollingWatchServices.
|
||||
# This triggers rebuilds on src changes after max. 0.5 seconds (instead of 10 seconds).
|
||||
# Reference: https://github.com/sbt/sbt/issues/3868
|
||||
-Dsbt.watch.mode=polling
|
||||
# Use java getLastModifiedTime now that it supports millisecond resolution
|
||||
# 'struct stat' ABI changed in FreeBSD 12, breaking JNA code
|
||||
-Dsbt.io.jdktimestamps=true
|
||||
|
Loading…
Reference in New Issue
Block a user