Allow precompiled headers to be enabled from command-line

2013-03-15 14:53:28 +01:00 · 2013-03-15 14:53:28 +01:00 · 6cfa13f136
commit 6cfa13f136
parent 520d97c63a
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@ -271,6 +271,10 @@ for OPT in "$@"; do
              # special flag; don't set shared/static
              shared=""
              ;;
+            pch)
+              pch_use=" -DPRECOMPILE_HEADERS:BOOL=ON"
+              shared=""
+              ;;
            # this flag is just for compatibility with the deprecation
            # flag in DUNE, so we can build without warnings
            fieldvector-size-is-method)