?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Wed Jun 4 09:36:54 UTC 2014 Johnny Willemsen <jwillemsen@remedy.nl>
[MPC.git] / config / openmp.mpb
blobc5c9e7a99183a1e255127dcc25e794b2e52e4f05
1 // $Id$
2 feature(openmp) {
3   verbatim(gnuace, top) {
4     openmp ?= 1
5   }
6 }