]> matita.cs.unibo.it Git - helm.git/commit
added -thread option where needed to make new findlib happy
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Dec 2003 16:58:06 +0000 (16:58 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Dec 2003 16:58:06 +0000 (16:58 +0000)
commitd0f70560eab72844505087c43620edf19eba7412
tree1421ff59b7d3641832e79e13f75c55dd87a9c999
parent3308f73974648dc4a0a7022e6b8c6ca9a7d4d8f9
added -thread option where needed to make new findlib happy
helm/hbugs/client/Makefile
helm/hbugs/common/Makefile.overrides
helm/hbugs/tutors/Makefile