diff options
| author | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-12 13:12:02 +0200 |
|---|---|---|
| committer | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-24 16:06:59 +0200 |
| commit | 7229b18da99e2160762e3167283f6895151dd972 (patch) | |
| tree | b1455977fef191c4a97b0b5da114d493015d766f /gnu.ocaml.obj.mk | |
| parent | 1ff288efb8ae94291e6ee7deb7cb066d85c1c450 (diff) | |
Improved some patsubst calls
Diffstat (limited to 'gnu.ocaml.obj.mk')
| -rw-r--r-- | gnu.ocaml.obj.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu.ocaml.obj.mk b/gnu.ocaml.obj.mk index 2ec4735..496b29c 100644 --- a/gnu.ocaml.obj.mk +++ b/gnu.ocaml.obj.mk @@ -67,11 +67,11 @@ _OBJ= $(patsubst %.c, %.o, $(filter %.c, $(_ORD))) ifdef OCAMLNATIVE _OBJ+= $(patsubst %.ml, %.cmx, $(filter %.ml, $(_ORD))) -_CLN+= $(patsubst %.cmx, %.o, $(_OBJ)) -_CLN+= $(patsubst %.cmx, %.cmi, $(_OBJ)) +_CLN+= $(patsubst %.cmx, %.o, $(filter %.cmx, $(_OBJ))) +_CLN+= $(patsubst %.cmx, %.cmi, $(filter %.cmx, $(_OBJ))) else _OBJ+= $(patsubst %.ml, %.cmo, $(filter %.ml, $(_ORD))) -_CLN+= $(patsubst %.cmo, %.cmi, $(_OBJ)) +_CLN+= $(patsubst %.cmo, %.cmi, $(filter %.cmo, $(_OBJ))) endif _INT= $(patsubst %.mly, %.ml, $(filter %.mly, $(_SRC))) |