Merge pull request #829 from rgrinberg/little-cleanups

Little cleanups
This commit is contained in:
Rudi Grinberg 2018-06-01 02:39:20 +07:00 committed by GitHub
commit 115ee93dd6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 3 deletions

View File

@ -808,9 +808,7 @@ module Action = struct
let build =
Build.record_lib_deps_simple forms.lib_deps
>>>
Build.path_set deps
>>>
Build.path_set forms.sdeps
Build.path_set (Path.Set.union deps forms.sdeps)
>>>
Build.arr (fun paths -> ((), paths))
>>>