]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a97d106) | patch
use '-thread' option only when linking
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Dec 2002 20:01:06 +0000 (20:01 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Dec 2002 20:01:06 +0000 (20:01 +0000)
commit226d77d9a27dd9f79c22498aa884d246da61e22e
tree2f00d56cee4887c52262f32e9524dd1cc6da535dtree | snapshot
parenta97d106d293d35a51dd27ed8c8ce621fb67e187ccommit | diff
use '-thread' option only when linking
helm/uwobo/src/ocaml/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.