diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2014-05-19 23:20:24 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-05-19 23:20:24 +0200 |
| commit | dd8026cd399d61be7d47bfb3730bb902fefba3b6 (patch) | |
| tree | 942452378a1c830d7316aabb3c811ab3f77371f1 /OMakefile | |
| parent | 2cc3b67af19a5f66a1ac211e4593ee0ef8403c1e (diff) | |
| download | context-mirror-bot-dd8026cd399d61be7d47bfb3730bb902fefba3b6.tar.gz | |
write invocation and termination info to syslog
Diffstat (limited to 'OMakefile')
| -rw-r--r-- | OMakefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ USE_OCAMLFIND = true -OCAMLPACKS[] = curl uri xmlm unix fileutils str +OCAMLPACKS[] = curl uri xmlm unix fileutils str syslog #core #async #uri |