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 /pk/pk.ac | |
| parent | 600ff370c65ba99d2103a050a1847671cc0bd9c9 (diff) | |
| download | pk-16476bd8219f58417a401ea0a720d9588d1d8ebc.zip pk-16476bd8219f58417a401ea0a720d9588d1d8ebc.tar.gz pk-16476bd8219f58417a401ea0a720d9588d1d8ebc.tar.bz2 | |
Properly license all nontrivial files
Diffstat (limited to 'pk/pk.ac')
| -rw-r--r-- | pk/pk.ac | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,3 +1,5 @@ +# See LICENSE for license details. + AC_ARG_ENABLE([vm], AS_HELP_STRING([--disable-vm], [Disable virtual memory])) AS_IF([test "x$enable_vm" != "xno"], [ AC_DEFINE([PK_ENABLE_VM],,[Define if virtual memory support is enabled]) |