diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/root.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/root.build b/build/root.build index 4958390..df7d974 100644 --- a/build/root.build +++ b/build/root.build @@ -11,7 +11,7 @@ ixx{*}: extension = ixx txx{*}: extension = txx cxx{*}: extension = cxx -cxx.poptions =+ -I$out_root -I$src_root +cxx.poptions =+ "-I$out_root" "-I$src_root" # Load the cli module but only if it's available. This way a distribution # that includes pre-generated files can be built without installing cli. |