diff options
Diffstat (limited to 'config_host/config_mpl.h.in')
| -rw-r--r-- | config_host/config_mpl.h.in | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/config_host/config_mpl.h.in b/config_host/config_mpl.h.in new file mode 100644 index 000000000..bde10e3ce --- /dev/null +++ b/config_host/config_mpl.h.in @@ -0,0 +1,9 @@ +/* config_host/config_mpl.h. Generated from config_mpl.h.in by configure. */ + +#ifndef CONFIG_MPL_H +#define CONFIG_MPL_H + +#define MPL_HAVE_SUBSET 0 + +#endif + |