diff options
author | Andrew Waterman <andrew@sifive.com> | 2018-07-09 15:46:24 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2018-07-09 15:46:24 -0700 |
commit | 16476bd8219f58417a401ea0a720d9588d1d8ebc (patch) | |
tree | a6debdb2f24c119d281e1389c8efb0ac68b6fc86 /machine/machine.ac | |
parent | 600ff370c65ba99d2103a050a1847671cc0bd9c9 (diff) | |
download | riscv-pk-16476bd8219f58417a401ea0a720d9588d1d8ebc.zip riscv-pk-16476bd8219f58417a401ea0a720d9588d1d8ebc.tar.gz riscv-pk-16476bd8219f58417a401ea0a720d9588d1d8ebc.tar.bz2 |
Properly license all nontrivial files
Diffstat (limited to 'machine/machine.ac')
-rw-r--r-- | machine/machine.ac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/machine/machine.ac b/machine/machine.ac index 65acf04..a787113 100644 --- a/machine/machine.ac +++ b/machine/machine.ac @@ -1,3 +1,5 @@ +# See LICENSE for license details. + AC_ARG_ENABLE([fp-emulation], AS_HELP_STRING([--disable-fp-emulation], [Disable floating-point emulation])) AS_IF([test "x$enable_fp_emulation" != "xno"], [ AC_DEFINE([PK_ENABLE_FP_EMULATION],,[Define if floating-point emulation is enabled]) |