diff options
Diffstat (limited to 'packages/sphinx/sphinx-fpu.inc')
| -rw-r--r-- | packages/sphinx/sphinx-fpu.inc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/packages/sphinx/sphinx-fpu.inc b/packages/sphinx/sphinx-fpu.inc new file mode 100644 index 0000000000..73ae2ec16e --- /dev/null +++ b/packages/sphinx/sphinx-fpu.inc @@ -0,0 +1,6 @@ + +def get_sphinx_fpu_setting(bb, d): + if bb.data.getVar('TARGET_FPU', d, 1) in [ 'soft' ]: + return "--enable-fixed" + return "" + |