Merge pull request #51 from FreddieAkeroyd/remote_no_host_opt

Remove HOST_OPT=NO
This commit is contained in:
Dirk Zimoch
2020-05-28 17:33:45 +02:00
committed by GitHub

View File

@ -24,4 +24,3 @@ endif
# dbst based database optimization (default: NO)
DB_OPT = NO
HOST_OPT=NO