OSDN Git Service
(root)
/
happyabc
/
happyabc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6a9594a
)
supress error
author
mzp
<mzpppp@gmail.com>
Wed, 3 Jun 2009 07:47:01 +0000
(16:47 +0900)
committer
mzp
<mzpppp@gmail.com>
Wed, 3 Jun 2009 07:47:01 +0000
(16:47 +0900)
OMakefile
patch
|
blob
|
history
diff --git
a/OMakefile
b/OMakefile
index
d448e94
..
4a97a4d
100644
(file)
--- a/
OMakefile
+++ b/
OMakefile
@@
-43,7
+43,7
@@
public.UseCamlp4(files) =
@chmod 444 $@
.SCANNER: %.mli : %.mlip
- $(CPP) $(CPPFLAGS) -M $< ; true
+ $(CPP) $(CPPFLAGS) -M $<
>& /dev/null
; true
%.ml: %.mlp
@rm -f $@
@@
-52,7
+52,7
@@
public.UseCamlp4(files) =
@chmod 444 $@
.SCANNER: %.ml : %.mlp
- $(CPP) $(CPPFLAGS) -M $< ; true
+ $(CPP) $(CPPFLAGS) -M $<
>& /dev/null
; true
USE_OCAMLFIND = true